Sciweavers

26957 search results - page 170 / 5392
» Information Systems Modernization
Sort
View
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
15 years 9 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
IJCAI
2001
15 years 5 months ago
Usability Guidelines for Interactive Search in Direct Manipulation Systems
As AI systems make their way into the mainstream of interactive applications, usability becomes an increasingly important factor in their success. A wide range of user interface d...
Robert St. Amant, Christopher G. Healey
CCGRID
2010
IEEE
15 years 5 months ago
A Capabilities-Aware Programming Model for Asymmetric High-End Systems
In this research, we investigate and address the challenges of asymmetry in High-End Computing (HEC) systems comprising heterogeneous architectures with varying I/O and computation...
M. Mustafa Rafique
SIGOPSE
2004
ACM
15 years 9 months ago
Secure bootstrap is not enough: shoring up the trusted computing base
We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...
James Hendricks, Leendert van Doorn
ISSE
2008
15 years 4 months ago
Automatic framework generation for hard real-time applications
The communication and tasking infrastructure of a real-time application makes up a significant portion of any modern embedded control system. Traditionally, the tasking and communi...
Irfan Hamid, Bechir Zalila, Elie Najm, Jér&...