1147 search results - page 120 / 230 » Termination in language-based systems |
105
click to vote
ERSHOV
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding ...
EUROPAR
1998
Springer
15 years 5 months ago
1998
Springer
Database replication protocols have historically been built on top of distributed database systems, and have consequently been designed and implemented using distributed transacti...
116
click to vote
ASSETS
1996
ACM
15 years 4 months ago
1996
ACM
Emacspeak is a full-fledged speech output interface to Emacs, and is being used to provide direct speech access to a UNIX workstation. The kind of speech access provided by Emacsp...
112
Voted
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
63
Voted
ICRA
1995
IEEE
15 years 4 months ago
1995
IEEE
Integrating sensors into robot systems is an important step towards increasing the flexibility of robotic manufacturing systems. Current sensor integration is largely task-speci...