Sciweavers

3971 search results - page 624 / 795
» On the Use of Properties in Java Applications
Sort
View
118
Voted
EH
2004
IEEE
74views Hardware» more  EH 2004»
15 years 8 months ago
Sensory Channel Grouping and Structure from Uninterpreted Sensor Data
In this paper we focus on the problem of making a model of the sensory apparatus from raw uninterpreted sensory data as defined by Pierce and Kuipers (Artificial Intelligence 92:1...
Lars Olsson, Chrystopher L. Nehaniv, Daniel Polani
EMSOFT
2006
Springer
15 years 8 months ago
Implementing fault-tolerance in real-time systems by automatic program transformations
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
Tolga Ayav, Pascal Fradet, Alain Girault
149
Voted
ICRA
2000
IEEE
126views Robotics» more  ICRA 2000»
15 years 8 months ago
Identification and Decoupling Control of Flexure Jointed Hexapods
By exploiting properties of the joint space mass-inertia matrix of flexure jointed hexapods, a new decoupling method is proposed. The new decoupling method, through a static input...
Yixin Chen, John E. McInroy
ICSE
1995
IEEE-ACM
15 years 8 months ago
A Compact Petri Net Representation for Concurrent Programs
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies
126
Voted
SC
1995
ACM
15 years 8 months ago
Multicast Virtual Topologies for Collective Communication in MPCs and ATM Clusters
This paper de nes and describes the properties of a multicast virtual topology, the M-array, and a resource-ecient variation, the REM-array. It is shown how several collective op...
Yih Huang, Chengchang Huang, Philip K. McKinley