1163 search results - page 226 / 233 » Case Studies of Model Checking for Embedded System Designs |
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
Parallel processors such as SIMD computers have been successfully used in various areas of high performance image and data processing. Due to their characteristics of highly regula...
ISORC
2009
IEEE
15 years 4 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
ACII
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we address the tasks of recognition and interpretation of affect communicated through text messaging. The evolving nature of language in online conversations is a ma...
77
Voted
DSOM
2005
Springer
15 years 3 months ago
2005
Springer
This paper deals with a shared server environment where the server is divided into a number of resource partitions and used to host multiple applications at the same time. In a cas...
TROB
2002
2002
DPAC: an object-oriented distributed and parallel computing framework for manufacturing applications
14 years 9 months ago
Parallel and distributed computing infrastructure are increasingly being embraced in the context of manufacturing applications, including real-time scheduling. In this paper, we pr...