1356 search results - page 158 / 272 » The ideal of verified software |
137
click to vote
SAMOS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...
197
click to vote
MATA
2004
Springer
15 years 11 months ago
2004
Springer
Distribution of product updates to embedded devices can increase product lifetimes for consumers and boost revenues for vendors. Dynamic provisioning of application solutions to e...
181
click to vote
HIPEAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In transactional memory, aborted transactions reduce performance, and waste computing resources. Ideally, concurrent execution of transactions should be optimally ordered...
178
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
168
click to vote
CGI
2000
IEEE
15 years 10 months ago
2000
IEEE
An ideal triangle mesh compression technology would simultaneously support the following three objectives: (1) progressive refinements of the received mesh during decompression, (...