1837 search results - page 56 / 368 » Abstraction and the C Machine Model |
CLOUD
2010
ACM
14 years 1 months ago
2010
ACM
Virtualization is often used in cloud computing platforms for its several advantages in efficiently managing resources. However, virtualization raises certain additional challeng...
LCPC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
IPMI
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. We present a machine learning approach called shape regression machine (SRM) to segmenting in real time an anatomic structure that manifests a deformable shape in a medic...
SBMF
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...