2488 search results - page 344 / 498 » An improvement in formal verification |
174
click to vote
SAS
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
181
click to vote
PVLDB
2010
15 years 4 months ago
2010
The current widespread use of location-based services and GPS technologies has revived interest in very fast and scalable shortest path queries. We introduce a new shortest path q...
172
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
The rapid progress of computers and today's heterogeneous computing environment means computation-intensive signal processing algorithms must be optimized for performance in ...
142
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
167
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for...