5451 search results - page 507 / 1091 » Typed Operational Semantics |
167
Voted
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
185
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Active operating system fingerprinting is the process of actively determining a target network system’s underlying operating system type and characteristics by probing the targ...
185
click to vote
DDECS
2007
IEEE
16 years 1 months ago
2007
IEEE
— To increase the amount of logic available in SRAM-based FPGAs manufacturers are using nanometric technologies to boost logic density and reduce prices. However, nanometric scal...
160
Voted
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
Conventional high-level synthesis uses the worst case delay to relate all inputs to all outputs of an operation. This is a very conservative approximation of reality, especially i...
200
click to vote
SIGMOD
2000
ACM
15 years 11 months ago
2000
ACM
We present MOCHA, a new self-extensible database middleware system designed to interconnect distributed data sources. MOCHA is designed to scale to large environments and is based...