Sciweavers

2067 search results - page 288 / 414
» Logics of propositional control
Sort
View
ARC
2007
Springer
116views Hardware» more  ARC 2007»
16 years 18 days ago
Systematic Customization of On-Chip Crossbar Interconnects
Abstract. In this paper, we present a systematic design and implementation of reconfigurable interconnects on demand. The proposed on-chip interconnection network provides identic...
Jae Young Hur, Todor Stefanov, Stephan Wong, Stama...
POLICY
2007
Springer
16 years 16 days ago
Towards Practical Security Monitors of UML Policies for Mobile Applications
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
Fabio Massacci, Katsiaryna Naliuka
ETFA
2006
IEEE
16 years 14 days 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 ...
VISSOFT
2005
IEEE
15 years 12 months ago
Multi-level Method Understanding Using Microprints
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
Stéphane Ducasse, Michele Lanza, Romain Rob...
FSKD
2005
Springer
88views Fuzzy Logic» more  FSKD 2005»
15 years 12 months ago
Fuzzy Virtual Coupling Design for High Performance Haptic Display
Conventional virtual coupling is designed mainly for stabilizing the virtual environment (VE) and it thus may have poor performances. This paper proposes a novel adaptive virtual c...
D. Bi, Jun Zhang, G. L. Wang