|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24254 occurrences of 8555 keywords
|
|
|
Results
Found 40310 publication records. Showing 40310 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | B. P. Harish, Navakanta Bhat, Mahesh B. Patil |
Process Variability-Aware Statistical Hybrid Modeling of Dynamic Power Dissipation in 65 nm CMOS Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCTA ![In: 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 5-7 March 2007, Kolkata, India, pp. 94-98, 2007, IEEE Computer Society, 978-0-7695-2770-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mixed-mode simulations, hybrid model, Least Squares Method, Response Surface Methodology |
14 | Thom Heslop |
Figuring configuration: "everyday" users and end-user configuration of pervasive computing environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI (2) ![In: Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it - Volume 2, BCS HCI 2007, University of Lancaster, United Kingdom, 3-7 September 2007, pp. 247-249, 2007, BCS, 978-1-902505-95-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
interaction design, user-centered design, methodology, natural language, configuration, ubiquitous, pervasive |
14 | Riaan Klopper, Stefan Gruner, Derrick G. Kourie |
Assessment of a framework to compare software development methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAICSIT ![In: Proceedings of the 2007 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, SAICSIT 2007, Port Elizabeth, South Africa, October 2-3, 2007, pp. 56-65, 2007, ACM, 978-1-59593-775-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
URDAD, business process analysis and design, UML, MDA, software development methodology, RUP, Aris |
14 | Qian Li |
Practice of Video Encryption Algorithms Based on Chaotic Sequence and Scan Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 225-232, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
scan methodology, difference matrix, difference-compressed matrix, Video encryption, chaotic sequence |
14 | Hamed Aminzadeh, Mohammad Danaie |
Systematic design of two-stage operational amplifiers based on settling time and open-loop constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007, pp. 497-500, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
frequency compensation, stability, design methodology, operational amplifiers, switched-capacitor circuits, settling time |
14 | Lipo Chan, Shanika Karunasekera |
Systematic Development of Quality Aware Decentralised Service-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA, pp. 250-255, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Decentralised service-oriented system, adaptive quality, verification, methodology |
14 | Mark Walker, Ryan Jason Hamilton |
A technique for optimally designing fibre-reinforced laminated plates under in-plane loads for minimum weight with manufacturing uncertainties accounted for. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 21(4), pp. 282-288, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Manufacturing uncertainty, Fibre-reinforced laminates, Minimum mass, Methodology, Optimal design |
14 | Marco Chiarandini, Mauro Birattari, Krzysztof Socha, Olivia Rossi-Doria |
An effective hybrid algorithm for university course timetabling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 9(5), pp. 403-432, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
University course timetabling, Local search methods, Metaheuristics, Hybrid algorithms, Algorithm engineering, Experimental methodology |
14 | Fergal Downey, Gerry Coleman, Fergal McCaffery |
Experimenting with Agile Practices - First Things First. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Extreme Programming and Agile Processes in Software Engineering, 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings, pp. 205-208, 2006, Springer, 3-540-35094-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Methodology, software, agile, time-management |
14 | Suehee Pak, Eunha Rho, Juno Chang |
Industrial demand-driven curriculums for computer-software field in Korea. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006, pp. 63-67, 2006, ACM, 1-59593-055-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
course material, curriculum development methodology, demand-driven course, demand-driven curriculum, detailed syllabus, track |
14 | Greg Hoover, Forrest Brewer, Timothy Sherwood |
Extensible control architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2006 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2006, Seoul, Korea, October 22-25, 2006, pp. 323-333, 2006, ACM, 1-59593-543-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
specification methodology, control architecture |
14 | P. Nagabhushan, Shanmukhappa A. Angadi, Basavaraj S. Anami |
A Fuzzy Symbolic Inference System for Postal Address Component Extraction and Labelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: Fuzzy Systems and Knowledge Discovery, Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings, pp. 937-946, 2006, Springer, 3-540-45916-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Postal address component labelling, Fuzzy methodology, Symbolic similarity measure, alpha cut based de-fuzzification, Inference System |
14 | Daisuke Torii, Toru Ishida 0001, François Bousquet |
Modeling agents and interactions in agricultural economics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 81-88, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
machine learning, modeling methodology, agent interaction, multiagent simulation, participatory simulation |
14 | Arnold Pears, Stephen Seidman, Crystal Eney, Päivi Kinnunen, Lauri Malmi |
Constructing a core literature for computing education research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 37(4), pp. 152-161, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
classification criteria, computing education research, core literature, evaluation methodology |
14 | Ming-Chang Lee |
Statistical Data Analysis for Software Metrics Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (4) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV, pp. 389-395, 2005, Springer, 3-540-28897-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Metrics validation methodology, quality functions, nonparametric statistical methods, validity criteria |
14 | Hanna Landin |
Fragile and magical: materiality of computational technology as design material. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Computing ![In: Proceedings of the 4th Decennial Conference on Critical Computing: Between Sense and Sensibility, 2005, Aarhus, Denmark, August 20-24, 2005, pp. 117-120, 2005, ACM, 1-59593-203-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
interaction design methodology, interaction expression, aesthetics of interaction |
14 | Taolue Chen, Tingting Han 0001, Jian Lu 0001 |
Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China, pp. 540-545, 2004, IEEE Computer Society, 0-7695-2216-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Formal methodology, Software quantity, Performance evaluation, Process algebra, Mobile ambient |
14 | Dae-Hee Seo, Im-Yeong Lee, Hee-Un Park |
A Study on Key Recovery Agent Protection Profile Having Composition Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I, pp. 557-566, 2004, Springer, 3-540-22054-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Key Recovery Protection Profile, Evaluation Methodology, Common Criteria |
14 | José A. Maestro, César Llamas, Carlos J. Alonso |
A Representation of Temporal Aspects in Knowledge Based Systems Modelling: A Monitoring Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings, pp. 264-273, 2004, Springer, 3-540-22007-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
real-time systems, monitoring, CommonKADS, KBS Methodology |
14 | Sung-Kwun Oh, James F. Peters, Witold Pedrycz, Tae-Chon Ahn |
Genetically Optimized Rule-Based Fuzzy Polynomial Neural Networks: Synthesis of Computational Intelligence Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 437-444, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Rule-base fuzzy polynomial neural networks(RFPNN), rule-based fuzzy neural networks(RFNN), polynomial neural networks(PNN), computational intelligence(CI), genetic algorithms(GAs), design methodology |
14 | Jinghua Huang, Jing Wang, Tao Chang, Chunjun Zhao, Liao Wang |
A Comparative Framework for EB Systems Development Methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2003 IEEE / WIC International Conference on Web Intelligence, (WI 2003), 13-17 October 2003, Halifax, Canada, pp. 442-445, 2003, IEEE Computer Society, 0-7695-1932-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
EB systems, Web-based information systems, systems development methodology |
14 | Joan Carletta, Robert J. Veillette, Frederick W. Krach, Zhengwei Fang |
Determining appropriate precisions for signals in fixed-point IIR filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 656-661, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
finite word length effects, infinite impulse response filter, field programmable gate array, design methodology |
14 | Eric Cariou, Antoine Beugnard |
The Specification of UML Collaborations as Interaction Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings, pp. 352-367, 2002, Springer, 3-540-44254-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML collaborations, specification methodology, interaction abstractions, interaction components |
14 | Masayuki Kirimura, Yoshifumi Takamoto, Takanori Mori, Keiichi Yasumoto, Akio Nakata, Teruo Higashino |
Design and Implementation of FPGA Circuits for High Speed Network Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, Reconfigurable Computing Is Going Mainstream, 12th International Conference, FPL 2002, Montpellier, France, September 2-4, 2002, Proceedings, pp. 393-403, 2002, Springer, 3-540-44108-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multi-way synchronization, concurrent EFSMs, high-level synthesis, design methodology, passive network monitor |
14 | Nelson dos Santos, Flávio Miguel Varejão, Orivaldo de Lira Tavares |
Multi-agent Systems and Network Management - A Positive Experience on Unix Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2002, 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings, pp. 616-624, 2002, Springer, 3-540-00131-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
gaia methodology, Multi-agent system, intelligent agent, unix, network management |
14 | Nikitas A. Assimakopoulos |
A systemic approach in modeling and analysis of interactions in virtual enterprises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 1(2), pp. 147-160, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
PSM (Problem Structuring Methodology), Structured metamodels, Virtual enterprises |
14 | Dawn G. Gregg, Uday R. Kulkarni, Ajay S. Vinze |
Understanding the Philosophical Underpinnings of Software Engineering Research in Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 3(2), pp. 169-183, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
research philosophy, information systems research methodology, software engineering |
14 | H. G. Mendelbaum, Raphael B. Yehezkael |
Using 'Parallel Automaton' as a Single Notation to Specify, Design and Control Small Computer Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA, pp. 152-, 2001, IEEE Computer Society, 0-7695-1086-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Extended Automata and Finite state Machines, Parallel Automata, CBS methodology, EFSM |
14 | Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand |
Geometric Modelling with CASL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, pp. 176-200, 2001, Springer, 3-540-43159-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
CASL language, specification methodology, formal specifications, geometric modelling, algebraic specifications |
14 | Ali Arsanjani |
A Domain-Language Approach to Designing Dynamic Enterprise Component-Based Architectures to Support Business Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (39) ![In: 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, TOOLS USA 2001, Santa Barbara, CA, USA, July 29 - August 3, 2001, pp. 130-142, 2001, IEEE Computer Society, 0-7695-1251-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
grammar-oriented object design, software architecture, methodology, domain-specific languages, component-based development, adaptive object models |
14 | Mor Peleg, Dov Dori |
The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(8), pp. 742-759, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Analysis and design methodologies, real-time systems specification, quality of analysis, software engineering and empirical evaluation, experimentation, object-oriented analysis, object-process methodology |
14 | Yamine Aït Ameur |
Cooperation of Formal Methods in an Engineering Based Software Development Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings, pp. 136-155, 2000, Springer, 3-540-41196-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
cooperation of techniques, human-computer interaction, formal techniques, development methodology |
14 | Francisco J. Suárez, Daniel F. García, Javier García 0002 |
Performance Debugging of Parallel and Distributed Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 2000, Limerick, Ireland, June 10-11, 2000, pp. 135-149, 2000, IEEE Computer Society, 0-7695-0634-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Performance Debugging Methodology, Embedded Systems, Measurement, Parallel and Distributed Processing |
14 | Boutheina Chetali |
Formal Verification of Concurrent Programs Using the Larch Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(1), pp. 46-62, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
theorem prover methodology, Larch prover, computer-checked proof, Formal verification, communication protocol, protocol verification, UNITY |
14 | Susana Stoica |
A lifecycle approach to design validation is it necessary? Is it feasible? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 1998, Washington, DC, USA, October 18-22, 1998, pp. 784-792, 1998, IEEE Computer Society, 0-7803-5093-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Lifecycle test, system approach to design and test, Robust Test Methodology (RTM), Design Validation (DV), software /hardware test methods, requirements specifications test, QA-type testing, Test Plan (TP) boilerplate, test optimization considering full lifecycle DV, black box testing, white box testing |
14 | Johnny Öberg, Axel Jantsch, Anshul Kumar |
An Object-Oriented Concept for Intelligent Library Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 11th International Conference on VLSI Design (VLSI Design 1991), 4-7 January 1998, Chennai, India, pp. 355-358, 1998, IEEE Computer Society, 0-8186-8224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Core Based Design Methodology, Intelligent Library Functions, Object-Oriented |
14 | Franck Xia |
Software Engineering Research: A Methodological Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 229-, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Software Engineering, epistemology, research methodology |
14 | Karen Panetta Lentz, Elias S. Manolakos, Edward C. Czeck |
A multiple domain environment for efficient simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 30st Annual Simulation Symposium (SS '97), April 7-9, 1997, Atlanta, GA, USA, pp. 76-85, 1997, IEEE Computer Society, 0-8186-7934-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
multiple domain environment, efficient simulation, concurrent simulation methodology, digital logic experimentation, multiple experiment environment, independent experiments, parallel hardware, digital logic simulators, signature paths, multiple experiment algorithms, function list, dynamic interactions, exhaustive simulation problem, Multiple Stuck-at Fault simulations, logic CAD, coverage analysis, digital logic |
14 | Soo-Hyun Park, Sang-Hoon Park, Doo-Kwon Baik |
Platform independent class repository of TMN in personal communication network using entity-aspect oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan, pp. 174-177, 1997, IEEE Computer Society, 0-8186-8073-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
platform independent class repository, telecommunication management network, entity-aspect oriented programming, data blocks, Q3 interface implementation, farming methodology, entity aspect model, network computing concept, entity aspect oriented programming, distributed object, personal communication networks, personal communication network |
14 | J. Yeandel, D. Thulborn, Simon Jones |
An on-line testable UART implemented using IFIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 15th IEEE VLSI Test Symposium (VTS'97), April 27-May 1, 1997, Monterey, California, USA, pp. 344-349, 1997, IEEE Computer Society, 0-8186-7810-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
data communication equipment, online testable UART, IFIS methodology, complex integrated circuit, FPGA technology, dual-rail coding, failure detection, handshaking protocol |
14 | Selma Arbaoui, Flávio Oquendo |
Reuse sensitive process models: are process elements software assets too? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPW ![In: 10th International Software Process Workshop, ISPW 1996, June 17-19, 1996, Dijon, France, pp. 21-24, 1996, IEEE Computer Society, 0-8186-7725-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
reuse sensitive process models, process element software assets, software quality improvement, software quality factors, reusable software assets, process model development, reuse methodology, process model development process, metaprocess, software engineering, software reusability, software process models, application domain, complex software systems, system composition |
14 | Jérôme Darmont, Ammar Attoui, Michel Gourgand |
Performance Evaluation for Clustering Algorithms in Object-Oriented Databases ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 6th International Conference, DEXA'95, London, United Kingdom, September 4-8, 1995, Proceedings, pp. 187-196, 1995, Springer, 3-540-60303-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Computer systems performance evaluation methodology, Simulation, Clustering, Object-oriented databases |
14 | Ajay J. Daga, William P. Birmingham |
A symbolic-simulation approach to the timing verification of interacting FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 584-589, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
symbolic-simulation approach, interacting FSMs, timing verifier, complex sequential circuit verification, combinational paths, inherently modular nature, symbolic simulation verification methodology, formal verification, logic testing, finite state machines, finite state machines, sequential circuits, circuit analysis computing, timing verification |
14 | Thomas D. Burd, Robert W. Brodersen |
Energy efficient CMOS microprocessor design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 288-297, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
energy efficient CMOS microprocessor design, portable electronics, battery weight, battery size, heat dissipation, computation modes, power analysis methodology, energy efficiency quantification, computer architecture, computer architectures, throughput, parallel machines, energy consumption, energy conservation, microprocessor chips, design principles, power dissipation, CMOS digital integrated circuits, integrated circuit modelling, cooling, figures of merit, desktop computers |
14 | Christian Scheidler, Lorenz Schäfers, Ottmar Krämer-Fuhrmann |
Software engineering for parallel systems: the TRAPPER approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 349-358, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
TRAPPER, graphical programming environment, graphical design methodology, process graphs, cooperating sequential processes, homogeneous view, software engineering, formal specification, parallel programming, graphical user interfaces, monitoring, graphs, mapping, programming environments, software design, visual programming, software visualization, software performance evaluation, parallel systems, computer aided software engineering, parallel applications, performance monitoring, system monitoring, graphical notations, hierarchical specification, hardware configuration, development cycle, application partitioning |
14 | George Krasovec, Mark Baker, Serban Gheorghe |
Target tracking: a real-time object oriented design experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 290-297, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
sonar tracking, real-time object oriented design experiment, tool sets, Real-Time Object Oriented Modeling technique, real-time distributed applications, state-intensive real-time distributed computer-based systems, distributed concurrent processing, ROOM methodology, fault tolerance, real-time systems, object-oriented programming, distributed processing, software tools, software quality, software fault tolerance, real-time applications, target tracking, target tracking, real-time performance, life cycle costs |
14 | Max Mühlhäuser |
Modeling and design of complex cooperative software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 274-277, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
complex cooperative software modelling, complex cooperative software design, workflow computing, workgroup computing, graphical view types, middle-out design methodology, scenario-based view type, work scenario, multi-view editor, work scenario views, software engineering, mobile computing, groupware, graphical user interfaces, distributed processing, multimedia computing, multimedia computing, application software |
14 | Tapas Kanungo, Robert M. Haralick, Henry S. Baird |
Power functions and their use in selecting distance functions for document degradation model validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 734-739, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
document degradation, document degradation models, document printing, validation procedures, statistical methodology, optical character recognition, statistical analysis, document image processing, scanning, nonparametric statistics |
14 | Josyula R. Rao |
Reasoning about Probabilistic Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 798-842, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
verification, parallel programming, probabilistic algorithms, correctness proofs, programming methodology, specification techniques |
14 | Mark G. Staskauskas |
Formal Derivation of Concurrent Programs: An Example from Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(5), pp. 503-528, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
tapes, I/O channels, UNITY methodology, resource allocation algorithm, formal specification, parallel programming, specifications, operating system, program verification, concurrent programs, proofs, disks, formal derivation, I/O subsystem |
14 | Louis M. Taff, James W. Borchering, W. Richard Hudgins Jr. |
Estimeetings: Development Estimates and a Front-End Process For a Large Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(8), pp. 839-849, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
estimeeting methodology, large software-intensive project, front-end process, domestic US 5ESS Switch project, feature team, feature definition, high-level functionality requirements, high-level design proposal, formal working meeting, development estimate, well-defined milestones, working relationships, interorganizational synergy, software engineering, human factors, telecommunications computing, DP management, personnel, high-level designs, project engineering, software development effort |
14 | C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash 0001 |
Support for Reusability in Genesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(8), pp. 1145-1154, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Genesis, reusability-driven development methodology, software resources, entity specification language, functional composition, program abstractors, databases, software development, software tools, software tools, programming environment, programming environments, software reuse, database management systems, query languages, query languages, specification languages, software reusability, file organisation, file organisation, ESL |
14 | Francesco Bergadano, Attilio Giordana, Lorenza Saitta |
Automated Concept Acquisition in Noisy Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 10(4), pp. 555-578, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
automated concept acquisition, learning methodology, discriminant descriptions, clusters, machine learning, pattern recognition, computational complexity, computational complexity, artificial intelligence, artificial intelligence, speech recognition, speech recognition, knowledge acquisition, knowledge engineering, knowledge engineering, learning systems, formal logic, graph structure, noisy environments |
14 | Serge Haddad |
A reduction theory for coloured nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets, held in Venice, Italy in June 1988, selected papers, pp. 209-235, 1988, Springer, 3-540-52494-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
behavioural properties, methodology, reductions, coloured Petri nets |
13 | Hwee Choo Liaw, Bijan Shirinzadeh, Julian Smith |
Robust Neural Network Motion Tracking Control of Piezoelectric Actuation Systems for Micro/Nanomanipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 20(2), pp. 356-367, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Andrzej J. Strojwas, Tejas Jhaveri, Vyacheslav Rovner, Lawrence T. Pileggi |
Creating an affordable 22nm node using design-lithography co-optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 95-96, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
design technology co-optimization, templates, DFM, regular fabric |
13 | André O. Falcão, Daniel Faria, António E. N. Ferreira |
Peptide programs: applying fragment programs to protein classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DTMBIO ![In: Proceeding of the 2nd International Workshop on Data and Text Mining in Bioinformatics, DTMBIO 2008, Napa Valley, California, USA, October 30, 2008, pp. 37-44, 2008, ACM, 978-1-60558-251-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
machine learning, classification, bioinformatics, proteins |
13 | Nikhil Jayakumar, Sunil P. Khatri |
A Predictably Low-Leakage ASIC Design Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 15(3), pp. 276-285, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Fernando Herrera, Eugenio Villar |
A framework for heterogeneous specification and design of electronic embedded systems in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 12(3), pp. 22:1-22:31, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
SystemC, models of computation, Heterogeneous specification |
13 | Victor K. Y. Chan, W. Eric Wong |
Outlier elimination in construction of software metric models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1484-1488, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Least of Median Squares (LMS), models, software metrics, outliers |
13 | Apostolos Marakakis, Nikolas P. Galatsanos, Aristidis Likas, Andreas Stafylopatis |
A Relevance Feedback Approach for Content Based Image Retrieval Using Gaussian Mixture Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2006, 16th International Conference, Athens, Greece, September 10-14, 2006. Proceedings, Part II, pp. 84-93, 2006, Springer, 3-540-38871-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Fei Sun, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha |
Synthesis of Application-Specific Heterogeneous Multiprocessor Architectures Using Extensible Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 18th International Conference on VLSI Design (VLSI Design 2005), with the 4th International Conference on Embedded Systems Design, 3-7 January 2005, Kolkata, India, pp. 551-556, 2005, IEEE Computer Society, 0-7695-2264-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Dov Dori, Iris Reinhartz-Berger |
An OPM-Based Metamodel of System Development Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2003, 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings, pp. 105-117, 2003, Springer, 3-540-20299-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Li-min Liu, Michael Halper, James Geller, Yehoshua Perl |
Using OODB Modeling to Partition a Vocabulary in Structurally and Semantically Uniform Concept Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(4), pp. 850-866, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
knowledge representation, Object-oriented databases, object-oriented models, object-oriented systems, database models |
13 | Seongkee Lee, Taiyun Kim |
Generic Engineering Approach for Agent-Based System Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATA ![In: Mobile Agents for Telecommunication Applications, 4th International Workshop, MATA 2002 Barcelona, Spain, October 23-24, 2002, Proceedings, pp. 58-72, 2002, Springer, 3-540-00021-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Daniel P. Siewiorek, Asim Smailagic, Daniel Salber |
Rapid Prototyping of Computer Systems: Experiences and Lessons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 25-27 June 2001, Monterey, CA, USA, pp. 2-3, 2001, IEEE Computer Society, 0-7695-1206-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | James Glimm |
Quantification of Uncertainty for Numerital Simulations with Confidence Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I, pp. 5, 2001, Springer, 3-540-42232-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Nicola Nicolici, Bashir M. Al-Hashimi, Andrew D. Brown, Alan Christopher Williams |
BIST hardware synthesis for RTL data paths based on testcompatibility classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(11), pp. 1375-1385, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Karen J. Rothermel, Curtis R. Cook, Margaret M. Burnett, Justin Schonfeld, Thomas R. G. Green, Gregg Rothermel |
WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 230-239, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
testing, empirical studies, visual programming, spreadsheets |
13 | Jongwoo Bae, Viktor K. Prasanna |
Synthesis of area-efficient and high-throughput rate data format converters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 6(4), pp. 697-706, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Chris Hankin, Hanne Riis Nielson, Jens Palsberg |
Position Statements on Strategic Directions for Research on Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(1), pp. 59-65, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Alexandre W. C. Faria, David Menotti, Daniel S. D. Lara, Gisele L. Pappa, Arnaldo de Albuquerque Araújo |
A new methodology for photometric validation in vehicles visual interactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 948-953, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
pattern recognition, segmentation, user evaluation, homogeneity, image intensity |
13 | Ricardo de A. Araújo, Adriano L. I. de Oliveira, Sérgio C. B. Soares |
A covariance matrix adaptation based evolutionary methodology for phase adjustment in financial time series forecasting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 1315-1316, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
covariance matrix adaptation evolution strategy, multilayer perceptron networks, random walk dilemma, time phase adjustment, evolutionary algorithms, financial time series forecasting |
13 | Haroon Malik |
A methodology to support load test analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 421-424, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
principal component analysis, automation, counters, performance counters, load test |
13 | Matteo Risoldi, Vasco Amaral 0001, Bruno Barroca, Kaveh Bazargan, Didier Buchs, Fabian Cretton, Gilles Falquet, Anne Le Calvé, Stéphane Malandain, Pierrick Zoss |
A Language and a Methodology for Prototyping User Interfaces for Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Human Machine Interaction ![In: Human Machine Interaction, Research Results of the MMI Program, pp. 221-248, 2009, Springer, 978-3-642-00436-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Devis Bianchini, Cinzia Cappiello, Valeria De Antonellis, Barbara Pernici |
P2S: A Methodology to Enable Inter-organizational Process Design through Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings, pp. 334-348, 2009, Springer, 978-3-642-02143-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
service-based process decomposition, service-based collaborative processes |
13 | Amy J. C. Trappey, David W. Hsiao, Lin Ma, Yu-Liang Chung |
Maintenance chain integration using Petri-net enabled Prometheus MAS modeling methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 13th International Conference on Computers Supported Cooperative Work in Design, CSCWD 2009, April 22-24, 2009, Santiago, Chile, pp. 238-245, 2009, IEEE, 978-1-4244-3534-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Magdalena Szezynska, Ewa Huebner, Derek Bem, Chun Ruan |
Methodology and Tools of IS Audit and Computer Forensics - The Common Denominator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISA ![In: Advances in Information Security and Assurance, Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings, pp. 110-121, 2009, Springer, 978-3-642-02616-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
IS audit guidelines, computer forensics tools, IS audit tools |
13 | Dimitris Alimisis, Stassini Frangou, Kyparíssia Papanikolaou |
A Constructivist Methodology for Teacher Training in Educational Robotics: The TERECoP Course in Greece through Trainees' Eyes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 9th IEEE International Conference on Advanced Learning Technologies, ICALT 2009, Riga, Latvia, July 15-17, 2009, pp. 24-28, 2009, IEEE Computer Society, 978-0-7695-3711-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Lucas C. Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena |
An agile development methodology applied to embedded control software under stringent hardware constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 33(1), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
embedded agile development, health care, agile methodologies, platform-based design, real-time software, organizational patterns |
13 | Nektarios Kranitis, Andreas Merentitis, George Theodorou, Antonis M. Paschalis, Dimitris Gizopoulos |
Hybrid-SBST Methodology for Efficient Testing of Processor Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 25(1), pp. 64-75, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
H-SBST, RTPG, computer architecture, ATPG, functional testing, microprocessor testing, software-based self-test |
13 | Melvin A. Breuer, Haiyang (Henry) Zhu |
An Illustrated Methodology for Analysis of Error Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 25(2), pp. 168-177, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
telephone answering machine, defective flash memory, yield, mean opinion score, error tolerance |
13 | Mikio Aoyama, Atsuko Yoshino |
AORE (Aspect-Oriented Requirements Engineering) Methodology for Automotive Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 203-210, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Jad Nasreddine, Jordi Pérez-Romero, Oriol Sallent, Ramón Agustí |
Simulated Annealing-Based Advanced Spectrum Management Methodology for WCDMA Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 2625-2631, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Ravi Vadapalli, Ping Luo, Taesung Kim, Ajitabh Kumar, Shameem Siddiqui |
Demonstration of grid-enabled ensemble Kalman Filter data assimilation methodology for reservoir characterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mardi Gras Conference ![In: Proceedings of the 15th ACM Mardi Gras conference: From lightweight mash-ups to lambda grids: Understanding the spectrum of distributed computing requirements, applications, tools, infrastructures, interoperability, and the incremental adoption of key capabilities, Baton Rouge, Louisiana, USA, January 29 - February 3, 2008, pp. 37, 2008, ACM, 978-1-59593-835-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
EnKF, GridWay, TIGRE, energy exploration, reservoir modeling |
13 | Venkata Rajesh Mekala, Venkata Rakesh Mekala |
Methodology for Characterization of NOR-NOR Programmable Logic Array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia International Conference on Modelling and Simulation ![In: Second Asia International Conference on Modelling and Simulation, AMS 2008, Kuala Lumpur, Malaysia, May 13-15, 2008, pp. 1025-1028, 2008, IEEE Computer Society, 978-0-7695-3136-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
H-Spice |
13 | Il-Yeol Song, Ritu Khare, Yuan An, Margaret Hilsbos |
A Multi-level Methodology for Developing UML Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2008, 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings, pp. 114-127, 2008, Springer, 978-3-540-87876-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Cinzia Forgia, Roberto Revetria |
System dynamics and regressive meta-modeling applied methodology for improving management performances in services industry: a case study in supply chain and highway maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008, pp. 279-287, 2008, SCS/ACM, 1-56555-319-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
supply chain management, meta modeling, system dynamics |
13 | Erez Shalom, Yuval Shahar, Meirav Taieb-Maimon, Guy Bar, Susana B. Martins, Ohad Young, Laszlo T. Vaszar, Yair Liel, Avi Yarkoni, Mary K. Goldstein, Akiva Leibowitz, Tal Marom, Eitan Lunenfeld |
Can Physicians Structure Clinical Guidelines? Experiments with a Mark-Up-Process Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K4HelP ![In: Knowledge Management for Health Care Procedures, ECAI 2008 Workshop, K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers, pp. 67-80, 2008, Springer, 978-3-642-03261-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mark-up, Ontologies, Evaluation, Knowledge acquisition, Completeness, Correctness, Clinical guidelines, Clinical decision support systems |
13 | Tomasz Miaskiewicz, Tamara Sumner, Kenneth A. Kozar |
A latent semantic analysis methodology for the identification and creation of personas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, 2008, Florence, Italy, April 5-10, 2008, pp. 1501-1510, 2008, ACM, 978-1-60558-011-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
user abstraction, cluster analysis, personas, latent semantic analysis, institutional repository |
13 | Mary Keeler, Arun K. Majumdar |
Revelator's Complex Adaptive Reasoning Methodology for Resource Infrastructure Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Visualization and Reasoning, 16th International Conference on Conceptual Structures, ICCS 2008, Toulouse, France, July 7-11, 2008, Proceedings, pp. 88-103, 2008, Springer, 978-3-540-70595-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Arlei Silva, Pedro Calais, Adriano C. M. Pereira, Fernando Mourão, Jussara M. Almeida, Wagner Meira Jr., Paulo B. Góes |
A seller's perspective characterization methodology for online auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 10th International Conference on Electronic Commerce 2008, Innsbruck, Austria, August 19-22, 2008, pp. 18:1-18:10, 2008, ACM, 978-1-60558-075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
business-to-consummer - B2C, data mining, e-commerce, auctions, e-business, online auctions, eBay |
13 | Ma. De Lourdes Margain Fuentes, Jaime Muñoz Arteaga, Francisco Álvarez Rodríguez |
A Methodology for Design Collaborative Learning Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008, Santander, Cantabria, Spain, July 1-5, 2008, pp. 87-91, 2008, IEEE Computer Society, 978-0-7695-3167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Mikio Aoyama |
A Model and Design Methodology of Continuous Services over the Home Service Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: The Fourth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, 18-19 December 2008, Jhongli, Taiwan, pp. 50-55, 2008, IEEE Computer Society, 978-0-7695-3499-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Sharad Malik |
Hardware Verification: Techniques, Methodology and Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 1, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Caroline C. Budwell, Frank J. Mitropoulos |
The SLAI Methodology: An Aspect-Oriented Requirement Identification Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 296-301, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Savithri Sundareswaran, Lucie Nechanicka, Rajendran Panda, Sergey Gavrilov, Roman A. Solovyev, Jacob A. Abraham |
A timing methodology considering within-die clock skew variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: 21st Annual IEEE International SoC Conference, SoCC 2008, September 17-20, 2008, Radisson Hotel, Newport Beach, CA, USA, Proceedings, pp. 351-356, 2008, IEEE, 978-1-4244-2596-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Pietro Azzari, Luigi Di Stefano, Stefano Mattoccia |
An Evaluation Methodology for Image Mosaicing Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIVS ![In: Advanced Concepts for Intelligent Vision Systems, 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings, pp. 89-100, 2008, Springer, 978-3-540-88457-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Performance Evaluation, Performance Metrics, Mosaicing, Ground Truth, Data Sets |
13 | Shabbir H. Batterywala, Sambuddha Bhattacharya, Subramanian Rajagopalan, Hi-Keung Tony Ma, Narendra V. Shenoy |
Cell Swapping Based Migration Methodology for Analog and Custom Layouts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 450-455, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Layout migration, compaction, constraint generation |
13 | Kang Zhao, Jinian Bian, Sheqin Dong, Yang Song 0002, Satoshi Goto |
Automated Specific Instruction Customization Methodology for Multimedia Processor Acceleration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 321-324, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 40310 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|