6171 search results - page 1127 / 1235 » The FrameNet Data and Software |
183
Voted
NPC
2010
Springer
15 years 1 months ago
2010
Springer
Java is one of the most popular programming languages in today’s software development, but the adoption of Java in some areas like high performance computing, gaming, and media p...
155
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Consumer electronics today such as cell phones often have one or more low-power FPGAs to assist with energyintensive operations in order to reduce overall energy consumption and i...
127
click to vote
SPIN
2010
Springer
15 years 29 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
112
Voted
STTT
2010
15 years 29 days ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
105
click to vote
CCS
2010
ACM
15 years 18 days ago
2010
ACM
Decision makers (humans or software agents alike) are faced with the challenge of examining large volumes of information originating from heterogeneous sources with the goal of as...