1726 search results - page 59 / 346 » Traits: Tools and Methodology |
ICCAL
1989
14 years 1 months ago
1989
Signal constellation design is a major subtask of constructing an efficient communication system; it essentially entails trading-off error frequency against information throughput...
ASPDAC
2006
ACM
14 years 3 months ago
2006
ACM
- Power consumption is one of the major challenges in VLSI Design. Power constrained designs need tools to accurately predict the power consumption and provide feedback to designer...
WSC
1998
13 years 10 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
CAI
2006
Springer
13 years 9 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
WWW
2011
ACM
13 years 4 months ago
2011
ACM
This paper gives an overview of a politeness recognition tool (PoRT) for Hindi that is currently under preparation. It describes the the kind of problems that need to be tackled w...