2805 search results - page 129 / 561 » Modeling Memory for Melodies |
102
click to vote
LFCS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
HICSS
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper discusses a longitudinal study that explored the relationship between use of organizational memory and knowledge (OM/K) and knowledge worker productivity within the eng...
IFL
2001
Springer
15 years 2 months ago
2001
Springer
Map- and fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, i...
ASPDAC
2000
ACM
15 years 2 months ago
2000
ACM
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...
EUROMICRO
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...