1675 search results - page 320 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
127
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
143
click to vote
ISCA
2009
IEEE
15 years 9 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
156
click to vote
ZUM
1997
Springer
15 years 7 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
141
click to vote
VIP
2001
15 years 4 months ago
2001
The intersection of theatre-performance, design, and informatics is a fertile area for a broader understanding of the possible design and interaction between people and avatars in...
112
click to vote
NSPW
2003
ACM
15 years 8 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...