8828 search results - page 319 / 1766 » Formal methods in practice |
203
Voted
ARITH
2001
IEEE
15 years 10 months ago
2001
IEEE
Design of the leading zero anticipator ( L a ) or detector (LZD) is pivotal to the normalization of results for addition and fused multiplication-addition in highperjormance float...
155
click to vote
RECOMB
2004
Springer
16 years 7 months ago
2004
Springer
Identifying gene clusters, genomic regions that share local similarities in gene organization, is a prerequisite for many different types of genomic analyses, including operon pred...
180
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
New to the 2007 MEMOCODE conference is the HW/SW Co-Design Contest. Members of the technical and steering committees from MEMOCODE 2006 thought that the co-design practice is dist...
197
click to vote
FMLDO
1999
Springer
15 years 11 months ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
179
click to vote
RE
1997
Springer
15 years 11 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...