1568 search results - page 118 / 314 » The problem of examination questions in algorithmics |
CORR
2010
Springer
15 years 4 months ago
2010
Springer
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...
126
click to vote
ANOR
2006
15 years 4 months ago
2006
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...
121
click to vote
JACM
2007
15 years 4 months ago
2007
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...
139
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
— 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...
146
click to vote
SERP
2010
15 years 2 months ago
2010
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...