Sciweavers

14244 search results - page 2445 / 2849
» Modeling Program Predictability
Sort
View
ECBS
1997
IEEE
103views Hardware» more  ECBS 1997»
15 years 8 months ago
The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS)
Modern warfare requires the understanding and management of increasingly complex assemblages of resources. The Advanced Battlefield Architecture for TacticalInformation Selection ...
J. S. Keane, Jerzy W. Rozenblit, Michael Barnes
MAS
1998
Springer
153views Communications» more  MAS 1998»
15 years 8 months ago
Authentication for Mobile Agents
In mobile agent systems, program code together with some process state can autonomously migrate to new hosts. Despite its many practical benefits, mobile agent technology results i...
Shimshon Berkovits, Joshua D. Guttman, Vipin Swaru...
ICCAD
1997
IEEE
101views Hardware» more  ICCAD 1997»
15 years 8 months ago
Minimum area retiming with equivalent initial states
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...
Naresh Maheshwari, Sachin S. Sapatnekar
ARTS
1997
Springer
15 years 8 months ago
PLC-Automata: A New Class of Implementable Real-Time Automata
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
Henning Dierks
144
Voted
ISLPED
1996
ACM
91views Hardware» more  ISLPED 1996»
15 years 8 months ago
Energy minimization using multiple supply voltages
We present a dynamic programming technique for solving the multiple supply voltage scheduling problem in both nonpipelined and functionally pipelined data-paths. The scheduling pro...
Jui-Ming Chang, Massoud Pedram
« Prev « First page 2445 / 2849 Last » Next »