7943 search results - page 1229 / 1589 » A calculus for costed computations |
232
click to vote
ECRTS
2005
IEEE
16 years 13 days ago
2005
IEEE
Multiprocessor hardware platforms are now being considered for embedded systems, due to their high computational power and little additional cost when compared to single processor...
151
click to vote
GLVLSI
2005
IEEE
16 years 13 days ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
159
click to vote
GLVLSI
2005
IEEE
16 years 13 days ago
2005
IEEE
Many techniques have been proposed in the past for the protection of VLSI design IPs (intellectual property). CAD tools and algorithms are intensively used in all phases of modern...
187
click to vote
HICSS
2005
IEEE
16 years 13 days ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
159
click to vote
HOTI
2005
IEEE
16 years 13 days ago
2005
IEEE
— The amount of memory in buffered crossbars in combined input-crosspoint buffered switches is proportional to the number of crosspoints, or O(N2 ), where N is the number of port...