2278 search results - page 307 / 456 » Specification Techniques for Automatic Performance Analysis ... |
151
Voted
VTC
2010
IEEE
15 years 3 months ago
2010
IEEE
— Wireless multi-hop relaying has been attracting considerable attention as a promising technique for future communication systems. The multi-hop relaying technique has many bene...
123
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
The advent of parallel executing Address Calculation Units (ACUs) in Digital Signal Processor (DSP) and Application Specific InstructionSet Processor (ASIP) architectures has made...
177
Voted
TDSC
2008
15 years 4 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
132
Voted
WSC
1998
15 years 6 months ago
1998
Simulation optimization is rapidly becoming a mainstream tool for simulation practitioners. Simulation optimization is the practice of linking an optimization method with a simula...
122
Voted
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...