Sciweavers

1568 search results - page 118 / 314
» The problem of examination questions in algorithmics
Sort
View
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 4 months ago
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
Roberto M. Amadio, Nicholas Ayache, Yann Ré...
ANOR
2006
79views more  ANOR 2006»
15 years 4 months ago
Top percentile network pricing and the economics of multi-homing
Under multi-homing an Internet Service Provider (ISP) connects to the Internet via multiplicity of network providers. This allows the provider to receive proper quality of service...
Joseph Levy, Hanoch Levy, Yaron Kahana
JACM
2007
85views more  JACM 2007»
15 years 4 months ago
The rational numbers as an abstract data type
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...
Jan A. Bergstra, J. V. Tucker
INFOCOM
2010
IEEE
15 years 2 months ago
Understanding Node Localizability of Wireless Ad-hoc Networks
— Location awareness is highly critical for wireless ad-hoc and sensor networks. Many efforts have been made to solve the problem of whether or not a network can be localized. Ne...
Zheng Yang, Yunhao Liu
SERP
2010
15 years 2 months ago
The Viability of UML Models in Small Web Applications
As the use of online business systems increase so does the need to produce more efficient and less error prone web based Modeling is a core abstraction mechanism used to manage co...
Jason Dudley, Devon Simmonds