1992 search results - page 268 / 399 » Memory modeling for system synthesis |
194
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
206
click to vote
SIGSOFT
2006
ACM
16 years 7 days ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
302
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...
174
click to vote
KDD
2003
ACM
16 years 6 months ago
2003
ACM
We present and evaluate a NIC-based network intrusion detection system. Intrusion detection at the NIC makes the system potentially tamper-proof and is naturally extensible to wor...
166
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Modeling and quantifying different human factors continue to be one of the major challenges in introducing new biometric systems. For example, drivers of some of our behavior di...