2236 search results - page 252 / 448 » Language Independence and Language Tolerance in Logic Progra... |
148
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
145
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Paths...
182
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...
154
click to vote
POPL
1993
ACM
15 years 10 months ago
1993
ACM
Static scoping embodies a strong encapsulation mechanism for hiding the details of program units. Yet, it does not allow the sharing of variable bindings locations across indepe...
161
click to vote
ISTA
2003
15 years 7 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...