3384 search results - page 308 / 677 » More Testable Properties |
186
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Pass Transistor Logic has attracted more and more interest during last years, since it has proved to be an attractive alternative to static CMOS designs with respect to area, perf...
198
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
153
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
142
click to vote
ICFP
2000
ACM
15 years 11 months ago
2000
ACM
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...
198
click to vote
COORDINATION
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The fact that so many different kinds of coordination models and languages have been proposed suggests that no one single approach will be the best for all coordination p...