12333 search results - page 596 / 2467 » System Level Modelling for Hardware Software Systems |
170
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
222
click to vote
MICRO
2012
IEEE
13 years 9 months ago
2012
IEEE
The past 10 years have delivered two significant revolutions. (1) Microprocessor design has been transformed by the limits of chip power, wire latency, and Dennard scaling—leadi...
155
click to vote
DEXAW
2004
IEEE
15 years 11 months ago
2004
IEEE
In distance learning for computer literacy, a student's skill is dependent on personal experience. In such cases, it is important to determine the student's understandin...
190
click to vote
BMCBI
2004
15 years 7 months ago
2004
Background: Systems Biology Markup Language (SBML) is gaining broad usage as a standard for representing dynamical systems as data structures. The open source statistical programm...
186
click to vote
ASE
1999
15 years 6 months ago
1999
Legacy software systems present a high level of entropy combined with imprecise documentation. This makes their maintenance more difficult, more time consuming, and costlier. In or...