9842 search results - page 280 / 1969 » Compositional timing analysis |
115
click to vote
IEEEPACT
2007
IEEE
15 years 10 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
99
Voted
CMMR
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present the current state of BioTools, an ongoing project to implement a modular hardware and software toolbox for composers and performers, which allows fast dep...
135
click to vote
EEMMAS
2007
Springer
15 years 10 months ago
2007
Springer
We investigate the application of a logic-based framework representing an agent environment as a composite structure that evolves over time. Such a complex structure contains the i...
143
Voted
RTAS
2006
IEEE
15 years 10 months ago
2006
IEEE
We report on our experience with the implementation of the Real-time Specification for Java (RTSJ) in the DARPA Program Composition for Embedded System (PCES) program. Within the...
102
click to vote
NIME
2004
Springer
15 years 10 months ago
2004
Springer
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...