Sciweavers

7225 search results - page 168 / 1445
» Software is data too
Sort
View
ASPDAC
2005
ACM
153views Hardware» more  ASPDAC 2005»
15 years 6 months ago
Design of clocked circuits using UML
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
Zhenxin Sun, Weng-Fai Wong, Yongxin Zhu, Santhosh ...
CONCUR
2008
Springer
15 years 6 months ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
ERSA
2006
150views Hardware» more  ERSA 2006»
15 years 5 months ago
An Area Time Efficient Field Programmable Mersenne Twister Uniform Random Number Generator
Reconfigurable computing offers an attractive solution to accelerating infrared scene simulations. In infrared scene simulations, the modeling of a number of atmospheric and optic...
Vinay Sriram, David Kearney
PDPTA
2000
15 years 5 months ago
Monitoring Mobile Code
Code Mobility brings the possibility of building distributed systems better suited to a range of application areas. While platforms supporting Code Mobility are already in use, su...
Fernando Luís Dotti, Lucio Mauro Duarte
BMCBI
2006
86views more  BMCBI 2006»
15 years 4 months ago
PHY*FI: fast and easy online creation and manipulation of phylogeny color figures
nd: The need to depict a phylogeny, or some other kind of abstract tree, is very frequently experienced by researchers from a broad range of biological and computational disciplin...
Jakob Fredslund