Sciweavers

2440 search results - page 258 / 488
» Data-Intensive Question Answering
Sort
View
135
Voted
ANTS
1998
Springer
139views Algorithms» more  ANTS 1998»
15 years 9 months ago
Generating Arithmetically Equivalent Number Fields with Elliptic Curves
In this note we address the question whether for a given prime number p, the zeta-function of a number field always determines the p-part of its class number. The answer is known t...
Bart de Smit
AGP
1997
IEEE
15 years 9 months ago
Sharing Revisited
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes setsharing. In thi...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
115
Voted
EUROMICRO
1997
IEEE
15 years 9 months ago
A RISC Microprocessor for Contactless Smart Cards
Two years ago [3] we began to study a R.I.S.C. approachfor smart card microprocessors. We reconsider this research to answer the question of the new technology of smart cards: the...
Christian Cormier, Georges Grimonprez
ESEC
1997
Springer
15 years 9 months ago
A Framework for Classifying and Comparing Architecture Description Languages
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...
Nenad Medvidovic, Richard N. Taylor
147
Voted
ICSE
1997
IEEE-ACM
15 years 9 months ago
Lackwit: A Program Understanding Tool Based on Type Inference
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
Robert O'Callahan, Daniel Jackson