6960 search results - page 740 / 1392 » Continuity Analysis of Programs |
269
click to vote
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
Optimizations performed at link time or directly applied to nal program executables have received increased attention in recent years. This paper discuss the discovery and elimina...
177
click to vote
MIDDLEWARE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
199
click to vote
ISMVL
2000
IEEE
15 years 11 months ago
2000
IEEE
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
210
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
194
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
Academic Technology Services at the University of Rochester is in the process of revamping its student staff training program. This is in an effort to provide top-notch customer s...