1448 search results - page 117 / 290 » From Requirements to Code Revisited |
129
click to vote
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...
115
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Using small, context-specific interfaces in variable declarations serves the decoupling of classes and increases a program’s flexibility. To minimize its interface, a thorough a...
128
click to vote
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
126
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Graphs capture the essential elements of many problems broadly defined as searching or categorizing. With the rapid increase of data volumes from sensors, many application discipl...
124
click to vote
ICC
2000
IEEE
15 years 8 months ago
2000
IEEE
— The medium-access control (MAC) protocols for wireless networks proposed or implemented to date based on collision-avoidance handshakes between sender and receiver either requi...