Sciweavers

680 search results - page 23 / 136
» High-Level Data Races
Sort
View
SIGSOFT
1998
ACM
14 years 4 days ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
LCPC
2009
Springer
14 years 14 days ago
Programming with Intervals
Abstract. Intervals are a new, higher-level primitive for parallel programming with which programmers directly construct the program schedule. Programs using intervals can be stati...
Nicholas D. Matsakis, Thomas R. Gross
WSC
2001
13 years 9 months ago
The economic effects of reusability on distributed simulations
This paper examines whether the ability to reuse a simulation, in whole or in part, results in tangible cost savings on the overall economics of the original simulation. Specific ...
Mary Ewing
SEBD
2001
75views Database» more  SEBD 2001»
13 years 9 months ago
Data on the Web: A W3C Perspective
What is the "high level view" of data on the Web that can be traced down within W3C's rich roadmap of technologies? What the relationships between the "big need...
Massimo Marchiori
ICCAD
2000
IEEE
100views Hardware» more  ICCAD 2000»
14 years 9 days ago
Automated Data Dependency Size Estimation with a Partially Fixed Execution Ordering
For data dominated applications, the system level design trajectory should first focus on finding a good data transfer and storage solution. Since no realization details are avail...
Per Gunnar Kjeldsberg, Francky Catthoor, Einar J. ...