Sciweavers

822 search results - page 131 / 165
» Using simulated annealing for producing software architectur...
Sort
View
ENTCS
2002
166views more  ENTCS 2002»
15 years 1 months ago
Translation and Run-Time Validation of Optimized Code
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...
139
Voted
ROBOCUP
2009
Springer
445views Robotics» more  ROBOCUP 2009»
15 years 8 months ago
SSL-Vision: The Shared Vision System for the RoboCup Small Size League
The current RoboCup Small Size League rules allow every team to set up their own global vision system as a primary sensor. This option, which is used by all participating teams, be...
Stefan Zickler, Tim Laue, Oliver Birbach, Mahisorn...
AOSE
2005
Springer
15 years 7 months ago
Incorporating Commitment Protocols into Tropos
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
Ashok U. Mallya, Munindar P. Singh
CIDR
2007
111views Algorithms» more  CIDR 2007»
15 years 3 months ago
The Case for a Signal-Oriented Data Stream Management System
Sensors capable of sensing phenomena at high data rates—on the order of tens to hundreds of thousands of samples per second—are useful in many industrial, civil engineering, s...
Lewis Girod, Yuan Mei, Ryan Newton, Stanislav Rost...
ISLPED
2004
ACM
137views Hardware» more  ISLPED 2004»
15 years 7 months ago
Location cache: a low-power L2 cache system
While set-associative caches incur fewer misses than directmapped caches, they typically have slower hit times and higher power consumption, when multiple tag and data banks are p...
Rui Min, Wen-Ben Jone, Yiming Hu