4604 search results - page 650 / 921 » Concurrency in Synchronous Systems |
74
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
99
Voted
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
— Semi-blind space-time equalisation is considered for dispersive multiple-input multiple-output systems that employ high-throughput quadrature amplitude modulation signalling. A...
90
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
188
click to vote
WFLP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on embedded systems and games. Two key points in the design of the language that led to...
107
click to vote
CMSB
2009
Springer
15 years 7 months ago
2009
Springer
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...