7508 search results - page 216 / 1502 » A new approach for distributed computing in avionics systems |
148
click to vote
GROUP
2005
ACM
16 years 4 days ago
2005
ACM
Many virtual communities involve ongoing discussions, with large numbers of users and established, if implicit rules for participation. As new users enter communities like this, b...
271
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Hadoop is a software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. The efficiency of ...
181
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
The release of general purpose GPU programming environments has garnered universal access to computing performance that was once only available to super-computers. The availability...
183
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
151
click to vote
VAMOS
2007
Springer
16 years 21 days ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...