Sciweavers

3134 search results - page 293 / 627
» Embedded System Design for Network Time Synchronization
Sort
View
FORMATS
2007
Springer
15 years 8 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
ANCS
2007
ACM
15 years 8 months ago
Ruler: high-speed packet matching and rewriting on NPUs
Programming specialized network processors (NPU) is inherently difficult. Unlike mainstream processors where architectural features such as out-of-order execution and caches hide ...
Tomas Hruby, Kees van Reeuwijk, Herbert Bos
IJCNN
2007
IEEE
15 years 11 months ago
Modeling Overlapping Execution/Observation Brain Pathways
— Recent brain imaging studies on primates revealed that a network of brain areas is activated both during observation and during execution of movements. The present work aims at...
Michail Maniadakis, Manolis Hourdakis, Panos E. Tr...
FSTTCS
2005
Springer
15 years 10 months ago
The MSO Theory of Connectedly Communicating Processes
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
HICSS
1999
IEEE
96views Biometrics» more  HICSS 1999»
15 years 9 months ago
Distributed Research Teams: Meeting Asynchronously in Virtual Space
As computer networks improve, more social and work interactions are carried out "virtually" by geographically separated group members. In this paper we discuss the desig...
Lia Adams, Lori Toomey, Elizabeth F. Churchill