3260 search results - page 377 / 652 » MYSEA Technology Demonstration |
120
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we examine a ubiquitous yet overlooked aspect of home-life, pottering. The Oxford English Dictionary defines pottering as "To occupy oneself in an ineffectual o...
186
click to vote
VLSID
2001
IEEE
16 years 7 months ago
2001
IEEE
Development of the process technology for dual threshold (dual Vth ) CMOS circuit has opened up the possibility of using it to reduce static power in low voltage high performance ...
181
click to vote
HPCA
2001
IEEE
16 years 7 months ago
2001
IEEE
A new memory subsystem called Memory Expansion Technology (MXT) has been built for compressing main memory contents. MXT effectively doubles the physically available memory. This ...
200
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
186
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Model-driven development requires a full set of development tools. While technologies for constructing graphical editors, compilers etc. are readily available, there is a lack of ...