4604 search results - page 658 / 921 » Concurrency in Synchronous Systems |
119
Voted
METRICS
2002
IEEE
15 years 5 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
100
click to vote
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...
93
Voted
GI
2009
Springer
15 years 5 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
107
Voted
ATAL
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
122
Voted
ASPDAC
1999
ACM
15 years 5 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...