959 search results - page 64 / 192 » Transfers between Logics and their Applications |
228
click to vote
BANFF
1995
15 years 9 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
144
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we propose a simple extension to the I/O architecture of scalable multiprocessors that optimizes page swap-outs significantly. More specifically, we propose the use o...
170
click to vote
FMCO
2006
Springer
15 years 9 months ago
2006
Springer
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...
142
click to vote
DATE
2008
IEEE
16 years 18 days ago
2008
IEEE
Cross-trigger, the mechanism to trigger activities in one debug entity from debug events happened in another debug entity, is a very useful technique for debugging applications in...
147
click to vote
ICAS
2005
IEEE
15 years 11 months ago
2005
IEEE
Transfers of high-quality multimedia content pose new demands on capacity and services provided by the contemporary high-speed computer networks. Transfer of stereoscopic video is...