3879 search results - page 32 / 776 » PyPBS design and methodologies |
138
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
137
Voted
AAAI
2000
15 years 5 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
159
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
This study focuses on the analysis and evaluation of agentoriented methodologies. Different studies have been proposed for the evaluation of agent-oriented methodologies adopting ...
134
Voted
COMCOM
2006
15 years 3 months ago
2006
Deploying IP telephony or voice over IP (VoIP) is a major and challenging task for data network researchers and designers. This paper outlines guidelines and a step-by-step method...
135
Voted
ICHIM
2001
15 years 5 months ago
2001
The application of 3D visualization technologies to cultural heritage has deeply evolved along years, shifting from the role of an ancillary technical solution to the dignity of a...