1299 search results - page 50 / 260 » On the Correctness of Operating System Kernels |
157
click to vote
SCALESPACE
2001
Springer
15 years 8 months ago
2001
Springer
Receptive field sensitivity profiles of visual front-end cells in the LGN and V1 area in intact animals can be measured with increasing accuracy, both in the spatial and temporal...
246
click to vote
LCTRTS
2011
Springer
14 years 7 months ago
2011
Springer
nguage does not provide any abstractions for exception handling or other forms of error handling, leaving programmers to devise their own conventions for detecting and handling er...
153
Voted
WSCG
2004
15 years 5 months ago
2004
Simulation has been used traditionally to solve other areas problems. Real time applications like videogames use typically a continuous simulation scheme. That way of operation ha...
112
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
The Freebsd, gnu/Linux, Solaris, and Windows operating systems have kernels that provide comparable facilities. Interestingly, their code bases share almost no common parts, while...
148
click to vote
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
The development of optimized codes is time-consuming and requires extensive architecture, compiler, and language expertise, therefore, computational scientists are often forced to ...