Sciweavers

10899 search results - page 208 / 2180
» Wide Area Computation
Sort
View
COMPSAC
1997
IEEE
15 years 11 months ago
The use of industrial-strength formal methods
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
Jonathan P. Bowen, Michael G. Hinchey
MJ
2008
55views more  MJ 2008»
15 years 7 months ago
Nanostructures, magnetic semiconductors and spintronics
The aim of this paper is to give a brief overview of recent advances in the area of semiconductor nanomaterials, which represent extremely promising applications for materials wit...
Paata J. Kervalishvili, Alexander Lagutin
ADBIS
2005
Springer
100views Database» more  ADBIS 2005»
16 years 20 days ago
Evolutionary Learning of Boolean Queries by Genetic Programming
Abstract. The performance of an information retrieval system is usually measured in terms of two different criteria, precision and recall. This way, the optimization of any of its...
Suhail S. J. Owais, Pavel Krömer, Václ...
SIGCOMM
2004
ACM
16 years 16 days ago
A layered naming architecture for the internet
Currently the Internet has only one level of name resolution, DNS, which converts user-level domain names into IP addresses. In this paper we borrow liberally from the literature ...
Hari Balakrishnan, Karthik Lakshminarayanan, Sylvi...
CCR
2005
129views more  CCR 2005»
15 years 7 months ago
The problem of synthetically generating IP traffic matrices: initial recommendations
There exist a wide variety of network design problems that require a traffic matrix as input in order to carry out performance evaluation. The research community has not had at it...
Antonio Nucci, Ashwin Sridharan, Nina Taft