7557 search results - page 660 / 1512 » Modeling Timed Concurrent Systems |
234
click to vote
RSP
2003
IEEE
16 years 14 days ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
206
click to vote
ENTCS
2006
15 years 7 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
189
click to vote
FDL
2008
IEEE
16 years 1 months ago
2008
IEEE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...
192
click to vote
EMO
2005
Springer
16 years 22 days ago
2005
Springer
With the invention of microarray technology, researchers are able to measure the expression levels of ten thousands of genes in parallel at various time points of a biological proc...
185
click to vote
TROB
2002
15 years 6 months ago
2002
In this paper, we study the interconnection of two robots, which are modeled as port-controlled Hamiltonian systems through a transmission line with time delay. There will be no an...