722 search results - page 34 / 145 » The State Operator in Real Time Process Algebra |
101
click to vote
TABLEAUX
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. PA (Process algebra) is the name that has become common use to denote the algebra with a sequential and parallel operator (without communication), plus recursion. PA-proc...
ICDE
2009
IEEE
15 years 6 months ago
2009
IEEE
— A spreadsheet-like “direct manipulation” interface is more intuitive for many non-technical database users compared to traditional alternatives, such as visual query builde...
QEST
2008
IEEE
15 years 6 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
110
click to vote
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract. LAPACK90 is a set of LAPACK90 subroutines which interfaces FORTRAN90 with LAPACK. All LAPACK driver subroutines including expert drivers and some LAPACK computationals ha...
124
click to vote
JTRES
2009
ACM
15 years 6 months ago
2009
ACM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...