3365 search results - page 556 / 673 » Digital System Design: Architectures, Methods and Tools |
177
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
171
click to vote
ICCAD
2009
IEEE
15 years 3 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
176
click to vote
DIALM
2003
ACM
15 years 11 months ago
2003
ACM
This paper addresses the problem of scatternet formation for singlehop Bluetooth based ad hoc networks, with minimal communication overhead. We adopt the well-known structure de B...
161
Voted
IPPS
2007
IEEE
16 years 11 days ago
2007
IEEE
With the rapid growth of computer networks and network infrastructures and increased dependency on the internet to carry out day-to-day activities, it is imperative that the compo...
150
click to vote
JOT
2008
15 years 6 months ago
2008
At the moment, enterprises require complex business models with an organizational structures, processes and systems that must be explicitly designed. The work designed by these bu...