2251 search results - page 100 / 451 » Specification and Implementation Problems for C |
135
Voted
SAC
2006
ACM
15 years 3 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
130
Voted
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
AspectJ-like languages are currently ineffective at modularizing heterogeneous concerns that are tightly coupled to the source code of the base program, such as logging, invariant...
122
Voted
AIED
2005
Springer
15 years 9 months ago
2005
Springer
Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
135
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Multiprocessor SoC systems have led to the increasing use of parallel hardware along with the associated software. These approaches have included coprocessor, homogeneous processo...
156
click to vote
CONEXT
2009
ACM
15 years 4 months ago
2009
ACM
We consider the problem of traffic management in small networks with both wireless and wired devices, connected to the Internet through a single gateway. Examples of such networks...