2930 search results - page 535 / 586 » A Constructive Approach to the Design of Distributed Systems |
130
click to vote
PEPM
1999
ACM
15 years 5 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
ISBI
2002
IEEE
16 years 2 months ago
2002
IEEE
During the last decade increasingly sophisticated positron emission tomography (PET) scanners have been developed for imaging small laboratory animals. These systems often exhibit...
117
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
102
click to vote
ICSE
1998
IEEE-ACM
15 years 5 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...
122
click to vote
COLING
2002
15 years 1 months ago
2002
Parsli is a finite-state (FS) parser which can be tailored to the lexicon, syntax, and semantics of a particular application using a hand-editable declarative lexicon. The lexicon...