717 search results - page 70 / 144 » Concurrent Engineering |
113
Voted
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
115
Voted
CODES
2010
IEEE
15 years 24 days ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
130
Voted
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
112
Voted
FSTTCS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
146
Voted
ISORC
2006
IEEE
15 years 8 months ago
2006
IEEE
Automatic memory management or garbage collection greatly simplifies the development of large systems. However, garbage collection is usually not used in real-time systems due to...