2797 search results - page 241 / 560 » Control Structures |
160
Voted
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we present improved techniques for the schedulability analysis of tasks with precedence relations in multiprocessor and distributed systems, scheduled under a preemp...
177
click to vote
RSP
1998
IEEE
15 years 7 months ago
1998
IEEE
STEP is an ISO standard (ISO-10303) for the computerinterpretable representation and exchange of product data. Parts of STEP standardize conceptual structures and usage ofinformat...
120
Voted
POPL
1998
ACM
15 years 7 months ago
1998
ACM
Memory expansions are classical means to extract parallelism from imperative programs. However, for dynamic control programs with general memory accesses, such transformations eit...
137
click to vote
HYBRID
1998
Springer
15 years 7 months ago
1998
Springer
Hybridconnectionist symbolic systems have been the subject of muchrecent research in AI. By focusing on the implementation of highlevel human cognitive processes e.g., rule-based i...
142
click to vote
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...