Sciweavers

1221 search results - page 136 / 245
» On the Design of Robust Integrators for Fail-Bounded Control...
Sort
View
HOTI
2008
IEEE
14 years 3 months ago
A Network Fabric for Scalable Multiprocessor Systems
Much of high performance technical computing has moved from shared memory architectures to message based cluster systems. The development and wide adoption of the MPI parallel pro...
Nitin Godiwala, Jud Leonard, Matthew Reilly
RSP
1999
IEEE
122views Control Systems» more  RSP 1999»
14 years 1 months ago
Incremental Compilation for Logic Emulation
Over the past decade, the steady growth rate of FPGA device capacities has enabled the development of multi-FPGA prototyping environments capable of implementing millions of logic...
Russell Tessier
IV
2005
IEEE
149views Visualization» more  IV 2005»
14 years 2 months ago
Visualisation Techniques for Users and Designers of Layout Algorithms
Visualisation systems consisting of a set of components through which data and interaction commands flow have been explored by a number of researchers. Such hybrid and multistage ...
Greg Ross, Alistair Morrison, Matthew Chalmers
POPL
2008
ACM
14 years 9 months ago
Cryptographically sound implementations for typed information-flow security
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
Cédric Fournet, Tamara Rezk
ICRA
2010
IEEE
118views Robotics» more  ICRA 2010»
13 years 7 months ago
Autonomous door opening and plugging in with a personal robot
Abstract— We describe an autonomous robotic system capable of navigating through an office environment, opening doors along the way, and plugging itself into electrical outlets ...
Wim Meeussen, Melonee Wise, Stuart Glaser, Sachin ...