9006 search results - page 1750 / 1802 » Modeling Software |
100
click to vote
HPCA
2003
IEEE
16 years 7 days ago
2003
IEEE
Java-based middleware, and application servers in particular, are rapidly gaining importance as a new class of workload for commercial multiprocessor servers. SPEC has recognized ...
209
click to vote
POPL
2008
ACM
16 years 5 days ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
204
click to vote
POPL
2008
ACM
16 years 5 days ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
208
click to vote
POPL
2006
ACM
16 years 5 days ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
196
click to vote
POPL
2005
ACM
16 years 5 days ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...