1760 search results - page 201 / 352 » A System to Mark Programs Automatically |
154
Voted
ICCAD
2007
IEEE
15 years 7 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
132
click to vote
OSDI
1994
ACM
15 years 4 months ago
1994
ACM
This paper describes the design and evaluation of SAM, a shared object system for distributed memory machines. SAM is a portable run-time system that provides a global name space ...
113
click to vote
MOBISYS
2005
ACM
16 years 3 months ago
2005
ACM
? We present a system for automatic monitoring and timely dissemination of multimedia information to a range of mobile information appliances based on each user's interest pro...
112
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
104
click to vote
DFG
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...