7580 search results - page 1369 / 1516 » Prometheus design tool |
175
Voted
TVLSI
2008
15 years 4 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
142
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Web applications rely heavily on client-side computation to examine and validate form inputs that are supplied by a user (e.g., “credit card expiration date must be valid”). T...
162
click to vote
IAJIT
2010
15 years 3 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
131
click to vote
IAJIT
2010
15 years 3 months ago
2010
: Routing is the process of forwarding data across an inter-network from a designated source to a final destination. Along the way from source to destination, at least one intermed...
143
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...