2171 search results - page 289 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
173
click to vote
VLSID
2007
IEEE
16 years 6 months ago
2007
IEEE
Crosstalk noise in the clock network of digital circuits is often detected late in the design cycle, sometimes as late as after first silicon. It is therefore necessary to fix cros...
194
click to vote
DEXAW
2006
IEEE
15 years 10 months ago
2006
IEEE
The current ever-growing evolution of mobile technologies suggests the possibility of accessing services, in an itinerant and ubiquitous way, through many kinds of mobile devices ...
163
click to vote
PLDI
2005
ACM
16 years 19 hour ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
167
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper deals with the problem of scheduling workflow applications with Quality of Service (QoS) constraints, comprising real-time and interactivity constraints, over a servi...
166
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...