1016 search results - page 69 / 204 » Embedded Computing: New Directions in Architecture and Autom... |
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
DAC
2001
ACM
15 years 11 months ago
2001
ACM
This presentation will give a list of design criteria an ASIC Design house need to look in the process of deciding to take the complex Bluetooth specification and implement everyt...
110
click to vote
ICDCSW
2009
IEEE
15 years 4 months ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
RTCSA
1998
IEEE
15 years 2 months ago
1998
IEEE
Advances in the computer technology encouraged the avionics industry to replace the federated design of control units with an integrated suite of control modules that share the co...
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
A metascalable (or “design once, scale on new architectures”) parallel computing framework has been developed for large spatiotemporal-scale atomistic simulations of materials...