5064 search results - page 614 / 1013 » Recent Developments in Gridsolve |
195
click to vote
IEEESCC
2005
IEEE
16 years 12 days ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
180
Voted
ISPASS
2005
IEEE
16 years 11 days ago
2005
IEEE
Recent advances in bioinformatics and the significant increase in computational power available to researchers have made it possible to make better use of the vast amounts of gene...
185
click to vote
ISQED
2005
IEEE
16 years 11 days ago
2005
IEEE
Due to the rapid development of manufacturing process technology and tight marketing schedule, the chip design and manufacturing always work toward an integrated solution to achie...
175
click to vote
SSDBM
2005
IEEE
16 years 11 days ago
2005
IEEE
The tools used to analyze scientific data are often distinct from those used to archive, retrieve, and query data. A scientific workflow environment, however, allows one to seamles...
180
click to vote
ASPDAC
2005
ACM
16 years 11 days ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...