Sciweavers

2414 search results - page 327 / 483
» Server-Level Power Control
Sort
View
VMCAI
2007
Springer
14 years 3 months ago
On Flat Programs with Lists
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
Marius Bozga, Radu Iosif
AHS
2006
IEEE
100views Hardware» more  AHS 2006»
14 years 3 months ago
Switchable Glass: A Possible Medium for Evolvable Hardware
The possibility of using switchable glass (also called smart windows) technology for Evolvable Hardware tasks is suggested in this paper. Switchable glass technology basically mea...
Mihai Oltean
ESCIENCE
2006
IEEE
14 years 3 months ago
User Programmable Virtualized Networks
This paper introduces the concept of a User Programmable Virtualized Network, which allows networks to deliver application specific services using network element components that ...
Robert J. Meijer, Rudolf J. Strijkers, Leon Gomman...
ETFA
2006
IEEE
14 years 3 months ago
A Framework for Fault Tolerant Real Time Systems Based on Reconfigurable FPGAs
♦ To increase the amount of logic available to the users in SRAM-based FPGAs, manufacturers are using nanometric technologies to boost logic density and reduce costs, making its ...
Manuel G. Gericota, Luís F. Lemos, Gustavo ...
IROS
2006
IEEE
131views Robotics» more  IROS 2006»
14 years 3 months ago
A Cockroach Inspired Robot With Artificial Muscles
A robot, CWRU Robot V (Ajax) has been constructed based on the death head cockroach, Blaberus discoidalis. In an attempt to further take advantage of the neuromechanics of the ani...
Daniel A. Kingsley, Roger D. Quinn, Roy E. Ritzman...