8190 search results - page 1415 / 1638 » From Timed to Hybrid Systems |
212
Voted
DAC
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
188
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
169
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
Having being proposed for the fourth time, the QA at CLEF track has confirmed a still raising interest from the research community, recording a constant increase both in the numbe...
191
click to vote
CSWWS
2006
15 years 10 months ago
2006
The realization of Semantic Web vision is based on the creation and use of semantic web content which needs software tools both for semantic web developers and end users. Over the ...
167
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...