5186 search results - page 948 / 1038 » Embedded Systems |
114
click to vote
CIA
2006
Springer
15 years 6 months ago
2006
Springer
The theoretical guarantees provided by voting have distinguished it as a prominent method of preference aggregation among autonomous agents. However, unlike humans, agents usually ...
141
click to vote
ER
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The notion of user preference in database modeling has recently received much attention in advanced applications, such as personalization of e-services, since it captures...
114
click to vote
JAVA
2000
Springer
15 years 6 months ago
2000
Springer
Java applications represent a broad class of programs, ranging from programs running on embedded products to highperformance server applications. Standard Java benchmarks ignore t...
120
click to vote
PACS
2000
Springer
15 years 6 months ago
2000
Springer
Reducing power, on both a per cycle basis and as the total energy used over the lifetime of an application, has become more important as small and embedded devices become increasi...
148
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...