3608 search results - page 719 / 722 » computer 2011 |
116
Voted
DGO
2011
14 years 28 days ago
2011
We consider open government (OG) within the context of egovernment and its broader implications for the future of public administration. We argue that the current US Administratio...
152
Voted
DSD
2011
IEEE
14 years 28 days ago
2011
IEEE
Abstract—We present a new low-level interfacing scheme for connecting custom accelerators to processors that tolerates latencies that usually occur when accessing hardware accele...
133
Voted
EMSOFT
2011
Springer
14 years 26 days ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
133
Voted
EMSOFT
2011
Springer
14 years 26 days ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
119
Voted
EMSOFT
2011
Springer
14 years 26 days ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...