1286 search results - page 229 / 258 » From System F to Typed Assembly Language |
171
Voted
IMC
2009
ACM
15 years 10 months ago
2009
ACM
Understanding how users behave when they connect to social networking sites creates opportunities for better interface design, richer studies of social interactions, and improved ...
141
Voted
WSC
1997
15 years 5 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
146
Voted
CASES
2007
ACM
15 years 7 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
122
Voted
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
Drawing inspiration from several previous projects, we present an ownership-record-free software transactional memory (STM) system that combines extremely low overhead with unusua...
133
Voted
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...