Sciweavers

1393 search results - page 198 / 279
» Virtual-Channel Flow Control
Sort
View
100
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
Specification of an exception handling system for a replicated agent environment
Exception handling and replication are two mechanisms that increase software reliability. Exception handling helps programmers control situations in which the normal flow of a pro...
Christophe Dony, Chouki Tibermacine, Christelle Ur...
130
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
Context-sensitive slicing of concurrent programs
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
Jens Krinke
105
Voted
CHI
2008
ACM
16 years 2 months ago
Video browsing by direct manipulation
We present a method for browsing videos by directly dragging their content. This method brings the benefits of direct manipulation to an activity typically mediated by widgets. We...
Pierre Dragicevic, Gonzalo Ramos, Jacobo Bibliowit...
95
Voted
ICCAD
2005
IEEE
113views Hardware» more  ICCAD 2005»
15 years 11 months ago
Synthesis methodology for built-in at-speed testing
We discuss a new synthesis flow, which offers the ability to do easy delay testing almost free in terms of its impact on speed and area as compared to corresponding implementation...
Yinghua Li, Alex Kondratyev, Robert K. Brayton
CHI
2010
ACM
15 years 9 months ago
Investigating an appropriate design for personal firewalls
Personal firewalls are an important aspect of security for home computer users, but little attention has been given to their usability. We conducted semi-structured interviews to ...
Fahimeh Raja, Kirstie Hawkey, Konstantin Beznosov,...