14244 search results - page 2175 / 2849 » Modeling Program Predictability |
154
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...
176
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
188
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
The IA-64 architecture has been designed as a synthesis of VLIW and superscalar design principles. It incorporates typical functionality known from embedded processors as multiply...
187
click to vote
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
219
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we discuss our recent research and open issues in structural and semantic analysis of digital videos. Specifically, we focus on segmentation, summarization and class...