375 search results - page 5 / 75 » Making Abstract Machines Less Abstract |
92
Voted
MOBISYS
2008
ACM
15 years 18 days ago
2008
ACM
Mobile phones have evolved into complex systems as they have more and more new applications built-in. As a result, they are less reliable and less secure than before. Virtual Mach...
86
Voted
ECTEL
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Good teachers know their students, and exploit this knowledge to adapt or optimise their instruction. Teachers know their students because they interact with them face-to...
FSEN
2007
Springer
15 years 4 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
81
Voted
HPDC
2006
IEEE
15 years 4 months ago
2006
IEEE
High performance application development remains challenging, particularly for scientists making the transition to a Grid environment. In general areas of computing, virtual envir...
79
Voted
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— Time encoding is a mechanism for representing the information contained in a continuous time, bandlimited, analog signal as the zero-crossings of a binary signal. Time ...