Sciweavers

3482 search results - page 256 / 697
» Cooperative Assembly Systems
Sort
View
JCP
2008
121views more  JCP 2008»
15 years 7 months ago
Towards Design Space Exploration for Biological Systems
For both embedded systems and biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can vary wid...
Simon Polstra, Tessa E. Pronk, Andy D. Pimentel, T...
HAPTICS
2003
IEEE
16 years 16 days ago
Haptic Interface for Hands-On Instruction in System Dynamics and Embedded Control
Haptic interface serves as an ideal context and platform for teaching both system dynamics and embedded control. At The University of Michigan, a traditional undergraduate mechani...
R. Brent Gillespie, Mark B. Hoffman, James S. Freu...
SAC
2003
ACM
16 years 15 days ago
Validation of Code-Improving Transformations for Embedded Systems
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
Robert van Engelen, David B. Whalley, Xin Yuan
ANSS
2001
IEEE
15 years 11 months ago
Building a Web-Based Federated Simulation System with Jini and XML
In a Web-Based federated simulation system, a group of simulation models residing on different machines attached to the Internet, called federates, collaborate with each other to ...
Xueqin Huang, John A. Miller
WOLLIC
2010
Springer
15 years 5 months ago
Intersection Type Systems and Explicit Substitutions Calculi
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
Daniel Lima Ventura, Mauricio Ayala-Rincón,...