443 search results - page 71 / 89 » An Architecture for Context-Sensitive Formatting |
ATVA
2006
Springer
15 years 2 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
141
click to vote
PARLE
1994
15 years 1 months ago
1994
Sparse matrix-vector multiplication forms the heart of iterative linear solvers used widely in scientific computations (e.g., finite element methods). In such solvers, the matrix-v...
CC
2008
Springer
15 years 10 days ago
2008
Springer
Portable low-level C programs must often support multiple equivalent in-memory layouts of data, due to the byte or bit order of the compiler, architecture, or external data formats...
101
Voted
CHI
2005
ACM
15 years 9 days ago
2005
ACM
Informal note taking is an essential activity in Personal Information Management (PIM). Most mobile devices support this via a suite of applications, employing both highly structu...
107
click to vote
COORDINATION
2008
Springer
15 years 4 days ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...