Sciweavers

912 search results - page 96 / 183
» Design Patterns: Abstraction and Reuse of Object-Oriented De...
Sort
View
MEMOCODE
2007
IEEE
16 years 18 days ago
Towards Equivalence Checking Between TLM and RTL Models
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...
POPL
2011
ACM
14 years 9 months ago
Pick your contexts well: understanding object-sensitivity
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhot...
CAISE
2010
Springer
15 years 1 months ago
Workflow Time Patterns for Process-Aware Information Systems
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
Andreas Lanz, Barbara Weber, Manfred Reichert
ICIA
2007
15 years 8 months ago
Learning Interaction between Conflicting Human Agents and Their Assistants
We build the generic methodology based on machine learning and reasoning to detect the patterns of interaction between conflicting agents, including humans and their assistants. L...
Boris Galitsky, Boris Kovalerchuk
ICONIP
2007
15 years 7 months ago
Adaptive Spiking Neural Networks for Audiovisual Pattern Recognition
Abstract. The paper describes the integration of brain-inspired systems to perform audiovisual pattern recognition tasks. Individual sensory pathways as well as the integrative mod...
Simei Gomes Wysoski, Lubica Benuskova, Nikola Kasa...