8874 search results - page 270 / 1775 » A New Implementation of Automath |
163
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
Fault-tolerant distributed real-time systems are presently facing a lot of new challenges. Although many techniques provide effective masking of node failures on the architectural...
206
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...
170
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Personal health records (PHR) is a technology for managing the information playing field in healthcare. With multiple vendors competing on this relatively new market, an evaluatio...
164
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
In response to changing requirements and other environmental influences, software systems are increasingly developed incrementally. Successful implementation of new features in e...
174
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
The US Military’s ability to meet its mission critical requirements calls for increased agility in its information technology development process. The purpose of this case study...