Sciweavers

3394 search results - page 63 / 679
» A Modal Model of Memory
Sort
View
93
Voted
ISORC
2008
IEEE
15 years 6 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
15 years 6 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
15 years 5 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
16 years 1 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
94
Voted
ICMCS
2007
IEEE
146views Multimedia» more  ICMCS 2007»
15 years 6 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...