3844 search results - page 192 / 769 » Modular interpreted systems |
145
click to vote
IROS
2007
IEEE
16 years 23 days ago
2007
IEEE
– Minimally invasive surgery (MIS) has become an important technique in practical surgical procedures. Compared with manually operated MIS procedures, surgical robot systems prov...
162
click to vote
LFCS
2007
Springer
16 years 18 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
164
click to vote
DATE
2006
IEEE
16 years 16 days ago
2006
IEEE
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...
164
click to vote
ETFA
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
158
click to vote
FSMNLP
2005
Springer
16 years 7 hour ago
2005
Springer
Abstract. The last decade has seen an increase in the number of available corpus query systems. These systems generally implement a query language as well as a database model. We r...