Sciweavers

7080 search results - page 900 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
FPL
2007
Springer
89views Hardware» more  FPL 2007»
16 years 20 days ago
Evolutionary Search Applied to Reconfigurable Analogue Control
The new breed of reconfigurable integrated circuits (ICs) offer switched-capacitor based analogue circuits whose functionality can be altered during run-time. Rapidly changing th...
Kester Clegg, Susan Stepney, Tim Clarke
ICRA
2006
IEEE
175views Robotics» more  ICRA 2006»
16 years 16 days ago
Software Components and Frameworks for Medical Robot Control
— Robots are increasingly being used in Computer Integrated Surgery (CIS) systems, yet to our knowledge, there is no open source software that is specifically targeted at this a...
Ankur Kapoor, Anton Deguet, Peter Kazanzides
VLDB
1993
ACM
113views Database» more  VLDB 1993»
15 years 10 months ago
An Active Object-Oriented Database: A Multi-Paradigm Approach to Constraint Management
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...
Hiroshi Ishikawa, Kazumi Kubota
NOSSDAV
2009
Springer
16 years 1 months ago
Power efficient real-time disk scheduling
Hard-disk drive power consumption reduction methods focus mainly on increasing the amount of time the disk is in standby mode (disk spun down) by implementing aggressive data read...
Damien Le Moal, Donald Molaro, Jorge Campello
TCBB
2008
137views more  TCBB 2008»
15 years 6 months ago
Toward Verified Biological Models
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...