Sciweavers

2797 search results - page 308 / 560
» Control Structures
Sort
View
ASAP
2003
IEEE
153views Hardware» more  ASAP 2003»
15 years 9 months ago
Hardware Synthesis for Multi-Dimensional Time
This paper introduces basic principles for extending the classical systolic synthesis methodology to multi-dimensional time. Multi-dimensional scheduling enables complex algorithm...
Anne-Claire Guillou, Patrice Quinton, Tanguy Risse...
ICRA
1999
IEEE
82views Robotics» more  ICRA 1999»
15 years 8 months ago
An Investigation into Non-Smooth Locomotion
We analyze a class of mechanisms that locomote by switching between constraints. Because of the hybrid nature of such systems, most of the existing analysis tools, developed prima...
Milos Zefran, Francesco Bullo, Jim Radford
BMCBI
2006
106views more  BMCBI 2006»
15 years 4 months ago
Prediction of the functional class of metal-binding proteins from sequence derived physicochemical properties by support vector
Metal-binding proteins play important roles in structural stability, signaling, regulation, transport, immune response, metabolism control, and metal homeostasis. Because of their...
H. H. Lin, L. Y. Han, H. L. Zhang, C. J. Zheng, B....
CC
2002
Springer
103views System Software» more  CC 2002»
15 years 3 months ago
StreamIt: A Language for Streaming Applications
We characterize high-performance streaming applications as a new and distinct domain of programs that is becoming increasingly important. The StreamIt language provides novel high-...
William Thies, Michal Karczmarek, Saman P. Amarasi...
CL
2004
Springer
15 years 3 months ago
Nesting analysis of mobile ambients
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi...