722 search results - page 34 / 145 » The State Operator in Real Time Process Algebra |
143
Voted
TABLEAUX
1997
Springer
15 years 8 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...
122
click to vote
ICDE
2009
IEEE
15 years 10 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...
121
Voted
QEST
2008
IEEE
15 years 10 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...
146
click to vote
IPPS
1998
IEEE
15 years 8 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...
171
click to vote
JTRES
2009
ACM
15 years 10 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...