Sciweavers

3394 search results - page 63 / 679
» A Modal Model of Memory
Sort
View
ISORC
2008
IEEE
14 years 4 months ago
Memory Management for Real-Time Java: State of the Art
The Real-time Specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps ...
Filip Pizlo, Jan Vitek
ICLP
2007
Springer
14 years 4 months ago
Static Region Analysis for Mercury
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
Quan Phan, Gerda Janssens
JELIA
2004
Springer
14 years 3 months ago
Practical Reasoning for Uncertain Agents
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
Nivea de Carvalho Ferreira, Michael Fisher, Wiebe ...
DAC
2000
ACM
14 years 11 months ago
Synthesis and optimization of coordination controllers for distributed embedded systems
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
Pai H. Chou, Gaetano Borriello
ICMCS
2007
IEEE
146views Multimedia» more  ICMCS 2007»
14 years 4 months ago
A Max Margin Framework on Image Annotation and Multimodal Image Retrieval
This paper presents a max margin framework on image annotation and multimodal image retrieval as a structured prediction model. Following the max margin approach the image retriev...
Zhen Guo, Zhongfei Zhang, Eric P. Xing, Christos F...