Browsing by Subject "Computer software"
Now showing items 21-40 of 51
-
Conference Object
Impact of timing on linearizability in counting networks
(IEEE, 1997)Counting networks form a new class of distributed, low-contention data structures, made up of interconnected balancers and are suitable for solving a variety of multiprocessor synchronization problems that can be expressed ...
-
Article
An implementation framework for Software Architectures based on the coordination paradigm
(2006)Software Architectures have evolved considerably over the last decade and, partly also due to the significant progress made in component-based development, have become a major subfield of Software Engineering. The associated ...
-
Article
An insight into license tools for open source software systems
(2015)Free/Libre/Open Source Software (FLOSS) has gained a lot of attention lately allowing organizations to incorporate third party source code into their implementations. When open source software libraries are used, software ...
-
Article
IWIM semantics via fibred automata
(2002)Coordination programming helps to separate concerns in the programming of the coordination activities in complex applications software. It separates the development, verification, maintenance, and reuse of the coordination ...
-
Conference Object
A Java-DSP interface for analysis of the MP3 algorithm
(2011)Java-DSP is a freely accessible web-based software, primarily used in signal processing education and research. In this paper, we present Java-DSP modules that have been developed for the study and analysis of the MPEG-1 ...
-
Article
The method of fundamental solutions for axisymmetric acoustic scattering and radiation problems
(1998)The method of fundamental solutions (MFS) is applied to acoustic scattering and radiation for axisymmetric bodies and boundary conditions. The fundamental solution of the governing equation and its normal derivative, which ...
-
Article
Mobile agents for wireless computing: The convergence of wireless computational models with mobile-agent technologies
(2004)Wireless mobile computing breaks the stationary barrier and allows users to compute and access information from anywhere and at anytime. However, this new freedom of movement does not come without new challenges. The mobile ...
-
Article
Model-driven development of context-aware web applications based on a web service context management architecture
(2009)Context information constitutes an essential aspect of service development and provision in mobile computing in the attempt to provide users with personalized services. The problem of handling context in these environments, ...
-
Conference Object
Modeling program predictability
(IEEE Comp Soc, 1998)Basic properties of program predictability - for both values and control - are defined and studied. We take the view that program predictability originates at certain points during a program's execution, flows through ...
-
Conference Object
Modeling value speculation
(IEEE Computer Society, 2002)Several studies of speculative execution based on values have reported promising performance potential. However, virtually all microarchitectures in these studies were described in an ambiguous manner, mainly due to the ...
-
Article
Net-console: A web-based development environment for MPI programs
(1999)In this paper we describe Net-console, a Web-based environment for the development of Message Passing Interface (MPI) programs. Using Net-console the user is able to write, execute, debug and evaluate the performance of ...
-
Conference Object
Nine months in the life of EGEE: A look from the South
(2007)Grids have emerged as wide-scale, distributed infrastructures providing enough resources for always more demanding scientific experiments. EGEE is one of the largest scientific Grids in production operation today, with ...
-
Article
A numerical conformal mapping method for harmonic mixed boundary value problems
(1996)We describe a simple and versatile technique for the numerical solution of harmonic mixed boundary value problems in simply-connected domains. This technique is based on the theory of Riemann-Hilbert problems, and involves ...
-
Conference Object
Numerical simulation of die filling in semisolid metal processing
(Affiliation: WPI, Worcester, United StatesCorrespondence Address: Bardinet, FrancoisWPI, Worcester, United States, 1997)Semisolid Metal Processing offers distinct advantages over other near-net-shape technologies, such as a more homogeneous microstructure, less porosity and thus excellent mechanical properties. A perfect control of die ...
-
Conference Object
Performance potential of data dependence speculation & collapsing
(IEEE, 1996)Two hardware methods for remedying the effects of true data dependences are studied. The first method, dependence speculation, is used to eliminate address generation-load dependences. This is enabled by address prediction ...
-
Conference Object
Performance study of cosmological simulations on message-passing and shared-memory multiprocessors
(ACM, 1996)In this paper we describe PKDGRAV, a parallel hierarchical tree-structured code used to conduct cosmological simulations on shared-memory and message-passing multiprocessors. We explore performance traits of cosmological ...
-
Conference Object
Performance-effective operation below Vcc-min
(2010)Continuous circuit miniaturization and increased process variability point to a future with diminishing returns from dynamic voltage scaling. Operation below Vcc-min has been proposed recently as a mean to reverse this ...
-
Article
A pluggable and reconfigurable architecture for a context-aware enabling middleware system
(2008)Context awareness is a core feature of modern mobile and ubiquitous computing systems. Although it has not reached its full potential yet, one can already observe significant activity in the area of software engineering ...
-
Conference Object
Preserving quality in the development of mobile commerce services and applications
(2005)Mobile commerce is nowadays a continuously growing area, driving the need for advances in both the network characteristics and infrastructure, as well as in the available mobile devices used. The same need requires the ...
-
Article
Problem solving and problem posing in a dynamic geometry environment
(The University of Montana, 2005)In this study, we considered dynamic geometry software (DGS) as the tool that mediates students' strategies in solving and posing problems. The purpose of the present study was twofold. First, to understand the way in which ...