9842 search results - page 280 / 1969 » Compositional timing analysis |
146
click to vote
IEEEPACT
2007
IEEE
16 years 28 days 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...
129
click to vote
CMMR
2007
Springer
16 years 24 days 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...
162
click to vote
EEMMAS
2007
Springer
16 years 24 days 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...
175
click to vote
RTAS
2006
IEEE
16 years 19 days 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...
131
click to vote
NIME
2004
Springer
15 years 12 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...