1941 search results - page 348 / 389 » Reasoning about Computations Using Two-Levels of Logic |
PPOPP
2003
ACM
15 years 5 months ago
2003
ACM
Collecting a program’s execution profile is important for many reasons: code optimization, memory layout, program debugging and program comprehension. Path based execution pro...
NOSSDAV
2001
Springer
15 years 4 months ago
2001
Springer
We present a TCP-compatible and -friendly protocol which abolishes three major shortfalls of TCP for reliable multimedia applications over heterogeneous networks: (i) ineffective ...
COORDINATION
2000
Springer
15 years 4 months ago
2000
Springer
Distributed information systems for decision-support, logistics, and e-commerce involve coordination of autonomous information resources and clients according to specific domain in...
HIPS
1998
IEEE
15 years 4 months ago
1998
IEEE
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
127
click to vote
GROUP
2007
ACM
15 years 3 months ago
2007
ACM
One of the reasons large-scale software development is difficult is the number of dependencies that software engineers face. These dependencies create a need for communication and...