Sciweavers

8503 search results - page 1531 / 1701
» Secure Software Architectures
Sort
View
MICRO
2009
IEEE
103views Hardware» more  MICRO 2009»
14 years 3 months ago
BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support
A platform that supported Sequential Consistency (SC) for all codes — not only the well-synchronized ones — would simplify the task of programmers. Recently, several hardware ...
Wonsun Ahn, Shanxiang Qi, M. Nicolaides, Josep Tor...
ATAL
2009
Springer
14 years 3 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
EUROPAR
2009
Springer
14 years 3 months ago
Searching for Concurrent Design Patterns in Video Games
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
Micah J. Best, Alexandra Fedorova, Ryan Dickie, An...
IVA
2009
Springer
14 years 3 months ago
Teaching Computers to Conduct Spoken Interviews: Breaking the Realtime Barrier with Learning
Abstract. Several challenges remain in the effort to build software capable of conducting realtime dialogue with people. Part of the problem has been a lack of realtime flexibili...
Gudny Ragna Jonsdottir, Kristinn R. Thóriss...
ROBOCUP
2009
Springer
445views Robotics» more  ROBOCUP 2009»
14 years 3 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...
« Prev « First page 1531 / 1701 Last » Next »