1550 search results - page 270 / 310 » Erlang for Concurrent Programming |
ICDCS
2010
IEEE
14 years 12 days ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
EUROCAST
2007
Springer
14 years 11 days ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...
ENTCS
2008
13 years 8 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
OLTP (On-Line Transaction Processing) is an important business system sector in various traditional and emerging online services. Due to the increasing number of users, OLTP syste...