1423 search results - page 183 / 285 » Languages of Nested Trees |
144
click to vote
VEE
2006
ACM
15 years 9 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
142
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
164
click to vote
RIDE
1996
IEEE
15 years 8 months ago
1996
IEEE
METU INteroperable DBMS (MIND) is a multidatabase system based on OMG's distributed object management architecture. It is implemented on top of a CORBA compliant ORB, namely,...
144
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...
162
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...