1988 search results - page 328 / 398 » Engineering formal metatheory |
183
click to vote
ISORC
2008
IEEE
16 years 22 days ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
186
click to vote
WISE
2008
Springer
16 years 21 days ago
2008
Springer
Rich Internet Applications (RIAs) are quickly becoming the de facto standard for interactive web applications on the Internet, featuring rich interfaces that increase user usabilit...
164
click to vote
CODES
2007
IEEE
16 years 21 days ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
167
click to vote
ICDCS
2007
IEEE
16 years 20 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
179
click to vote
RTAS
2007
IEEE
16 years 18 days ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...