Sciweavers

3999 search results - page 109 / 800
» Design of Optical Access Systems using Computer Modeling
Sort
View
EUROMICRO
1998
IEEE
15 years 9 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
121
Voted
SIBGRAPI
2003
IEEE
15 years 10 months ago
A Sketch-Based Collaborative Design System
We present a system for collaborative conceptual design that allows users potentially located in geographically distant areas to cooperate by sketching, exploring and modifying the...
Zhe Fan, Ma Chi, Manuel M. Oliveira
ISCA
2010
IEEE
239views Hardware» more  ISCA 2010»
15 years 10 months ago
Sentry: light-weight auxiliary memory access control
Light-weight, flexible access control, which allows software to regulate reads and writes to any granularity of memory region, can help improve the reliability of today’s multi...
Arrvindh Shriraman, Sandhya Dwarkadas
ANCS
2008
ACM
15 years 6 months ago
A remotely accessible network processor-based router for network experimentation
Over the last decade, programmable Network Processors (NPs) have become widely used in Internet routers and other network components. NPs enable rapid development of complex packe...
Charlie Wiseman, Jonathan S. Turner, Michela Becch...
EDO
2000
Springer
15 years 8 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh