5268 search results - page 823 / 1054 » Analysis of Design Process Dynamics |
179
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
191
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...
180
click to vote
BALT
2008
15 years 8 months ago
2008
Biomedical research on human subjects often requires a large amount of data to be collected by personal interviews, Internet based questionnaires, lab measurements or by extracting...
190
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
In enterprise and data center networks, the scalability of the data plane becomes increasingly challenging as forwarding tables and link speeds grow. Simply building switches with...
212
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
Collaboration is key to safety and efficiency in Air Traffic Control. Legacy paper-based systems enable seamless and non-verbal collaboration, but trends in new software and hardw...