10802 search results - page 1827 / 2161 » Generative and developmental systems |
193
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
147
click to vote
ASYNC
2004
IEEE
15 years 10 months ago
2004
IEEE
I use asynchronous FIFO stages that are connected in rings to generate and deliver highly precise timing signals. I introduce a Micropipeline FIFO control stage that oscillates at...
199
click to vote
BIBE
2004
IEEE
15 years 10 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
205
click to vote
C5
2004
IEEE
15 years 10 months ago
2004
IEEE
Existing online learning experiences lack the social dimension that characterizes learning in the real world. This social dimension extends beyond the traditional classroom into t...
153
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...