20655 search results - page 4103 / 4131 » Exploring Software Systems |
WSC
2008
13 years 11 months ago
2008
Very few crowds consist of individuals who are exactly the same. Defining variables, such as age, and how they affect an individual's movement, could increase realism in simu...
ACMACE
2008
ACM
13 years 10 months ago
2008
ACM
With many industrialized societies bearing the cost of an increasingly sedentary on the health of their populations there is a need to find new ways of encouraging physical activi...
ASPLOS
2008
ACM
13 years 10 months ago
2008
ACM
Recently, the number of cores on general-purpose processors has been increasing rapidly. Using conventional programming models, it is challenging to effectively exploit these core...
ATVA
2008
Springer
13 years 10 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Recent work has established the importance of automatic reverse engineering of protocol or file format specifications. However, the formats reverse engineered by previous tools ha...