Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
84 | Néstor Cataño, Marieke Huisman |
CHASE: A Static Checker for JML's Assignable Clause. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 26-40, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
76 | Charles C. Chiang, Andrew B. Kahng, Subarna Sinha, Xu Xu 0001, Alexander Zelikovsky |
Fast and Efficient Bright-Field AAPSM Conflict Detection and Correction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(1), pp. 115-126, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
76 | Charles C. Chiang, Andrew B. Kahng, Subarna Sinha, Xu Xu 0001, Alexander Zelikovsky |
Bright-Field AAPSM Conflict Detection and Correction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 908-913, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Ali Pinar, Bruce Hendrickson |
Improving Load Balance with Flexibly Assignable Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 16(10), pp. 956-965, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
flexibly assignable tasks, constrained least squares, load balancing, Parallel computing, maximum flow |
38 | Danilo Caivano |
Continuous Software Process Improvement through Statistical Process Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 21-23 March 2005, Manchester, UK, Proceedings, pp. 288-293, 2005, IEEE Computer Society, 0-7695-2304-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Maria Teresa Baldassarre, Nicola Boffoli, Danilo Caivano, Giuseppe Visaggio |
Managing Software Process Improvement (SPI) through Statistical Process Control (SPC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product Focused Software Process Improvement, 5th International Conference, PROFES 2004, Kausai Science City, Japan, April 5-8, 2004, Proceedings, pp. 30-46, 2004, Springer, 3-540-21421-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst |
Enforcing reference and object immutability in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 725-726, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac |
28 | Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst |
Tools for enforcing and inferring reference immutability in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 866-867, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Javari, Java, verification, type system, assignable, side effects, readonly, immutability, mutable |
28 | Matthew S. Tschantz, Michael D. Ernst |
Javari: adding reference immutability to Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 211-230, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Javari, Java, verification, type system, assignable, readonly, immutability, mutable |
28 | Bernd Wurth, Ulf Schlichtmann, Klaus Eckl, Kurt Antreich |
Functional multiple-output decomposition with application to technology mapping for lookup table-based FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 4(3), pp. 313-350, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
FPGA technology, TOS, assignable functions, implicit BDD-based methods, mapping synthesis, multiple-output decomposition, preferable functions, subfunction sharing gain, subfunction sharing potential, variable partitioning for decomposition, Boolean functions, decomposition, computer-aided design of VLSI |
27 | Rubing Chen, Yuan Gao, Zhichao Geng, Jinjiang Yuan |
Revisit the scheduling problem with assignable or generalized due dates to minimize total weighted late work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Prod. Res. ![In: Int. J. Prod. Res. 61(22), pp. 7630-7648, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Jan-Erik Justkowiak, Sergey Kovalev, Mikhail Y. Kovalyov, Erwin Pesch |
Single machine scheduling with assignable due dates to minimize maximum and total late work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 308(1), pp. 76-83, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | A. S. Abubakar, Zied Hajej, Aime C. Nyoungue |
Integrated Production, Maintenance, and Quality Strategy for Production Systems subject to Several Assignable Causes of Process Variation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: 20th International Multi-Conference on Systems, Signals & Devices, SSD 2023, Mahdia, Tunisia, February 20-23, 2023, pp. 997-1002, 2023, IEEE, 979-8-3503-3256-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Dvir Shabtay, Gur Mosheiov, Daniel Oron |
Single machine scheduling with common assignable due date/due window to minimize total weighted early and late work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 303(1), pp. 66-77, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Katsuaki Higashimori, Fumikazu Inuzuka, Takuya Ohara |
Physical topology optimization for highly reliable and efficient wavelength-assignable optical networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOCN ![In: JOCN 14(3), pp. 16-24, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Jalal Taji, Hiwa Farughi, Hasan Rasay |
Economic-statistical design of fully adaptive multivariate control charts under effects of multiple assignable causes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 173, pp. 108676, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Long Zhang, Yuzhong Zhang, Qingguo Bai |
An approximation algorithm for a supply-chain scheduling problem with an assignable common due window and holding time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 44(4), pp. 2167-2179, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Mohammad Javad Ershadi, Mohammad Mahdi Ershadi, S. Haghighi Naeini, Seyed Taghi Akhavan Niaki |
An economic-statistical design of simple linear profiles with multiple assignable causes using a combination of MOPSO and RSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 25(16), pp. 11087-11100, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Bojia Li, Yangsen Zhang, Ruoyu Chen 0002 |
一种可指定分布的海量数据生成方法 (Method for Generating Massive Data with Assignable Distribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 46(8), pp. 56-63, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Long Zhang, Yuzhong Zhang, Qingguo Bai |
Two-stage medical supply chain scheduling with an assignable common due window and shelf life. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 37(1), pp. 319-329, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Kai Zhao 0004, Jiawei Chen 0002 |
Robust Adaptive Fault-Tolerant Control of Nonlinear Systems With Assignable Tracking Performance Under Time-Varying Control Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 40757-40767, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | M. Bameni Moghadam, Y. Khadem, Shabnam Fani, Muhammad Adeel Pasha |
Effects of non-normality on economic and economic statistical designs of -control charts with multiple assignable causes and Weibull in-control times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 47(7), pp. 2055-2069, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Kai Zhao 0004, Yongduan Song, Jiye Qian, Jin Fu |
Zero-error tracking control with pre-assignable convergence mode for nonlinear systems under nonvanishing uncertainties and unknown control direction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 115, pp. 34-40, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Youjun Chen, Lingfa Lu, Jinjiang Yuan |
Two-stage scheduling on identical machines with assignable delivery times to minimize the maximum delivery completion time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 622, pp. 45-65, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Martin Kasparick 0002, Max Rockstroh, Stefan Schlichting, Frank Golatowski, Dirk Timmermann |
Mechanism for safe remote activation of networked surgical and PoC devices using dynamic assignable controls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016, Orlando, FL, USA, August 16-20, 2016, pp. 2390-2394, 2016, IEEE, 978-1-4577-0220-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Yuan Gao, Jinjiang Yuan |
Unary NP-hardness of minimizing the total deviation with generalized or assignable due dates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 189, pp. 49-52, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Ilyasse Aksikas, Stevan Dubljevic |
Single-step feedback linearization with assignable dynamics for hyperbolic PDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MED ![In: 23rd Mediterranean Conference on Control and Automation, MED 2015, Torremolinos, Malaga, Spain, June 16-19, 2015, pp. 1180-1185, 2015, IEEE, 978-1-4799-9936-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Yunqiang Yin, T. C. E. Cheng, Shuenn-Ren Cheng, Chin-Chia Wu |
Single-machine batch delivery scheduling with an assignable common due date and controllable processing times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 65(4), pp. 652-662, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Yunqiang Yin, Shuenn-Ren Cheng, T. C. E. Cheng, Chin-Chia Wu, Wen-Hsiang Wu |
Two-agent single-machine scheduling with assignable due dates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 219(4), pp. 1674-1685, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Y. Adler, V. Shper, Olga V. Maksimova |
Assignable causes of variation and statistical models: another approach to an old topic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 27(5), pp. 623-628, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Dvir Shabtay, George Steiner |
A bicriteria approach to minimize the total weighted number of tardy jobs with convex controllable processing times and assignable due dates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 14(5), pp. 455-469, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Luís H. C. Bicalho, André Gustavo dos Santos, José Elias Claudio Arroyo |
Metaheuristic for parallel machines scheduling with resource-assignable sequence dependent setup times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Proceedings, Dublin, Ireland, July 12-16, 2011, pp. 449-456, 2011, ACM, 978-1-4503-0557-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Kudret Demirli, Sujikumar Vijayakumar |
Fuzzy logic based assignable cause diagnosis using control chart patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 180(17), pp. 3258-3272, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Miguel V. Carriegos, Araceli DeFrancisco-Iribarren, Rafael Santamaria-Sanchez |
The Effective Calculation of All Assignable Polynomials to a Single-Input System Over a BÉzout Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 55(1), pp. 222-225, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Edmar Hell Kamke, José Elias Claudio Arroyo, André Gustavo dos Santos |
Iterated Local Search with Path Relinking for Solving Parallel Machines Scheduling Problem with Resource-Assignable Sequence Dependent Setup Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoCOP ![In: Evolutionary Computation in Combinatorial Optimization, 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings, pp. 107-118, 2010, Springer, 978-3-642-12138-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Hermann Lehner, Peter Müller 0001 |
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, pp. 338-352, 2010, Springer, 978-3-642-12028-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Edmar Hell Kamke, José Elias Claudio Arroyo, André Gustavo dos Santos |
Reactive GRASP with Path Relinking for Solving Parallel Machines Scheduling Problem with Resource-assignable Sequence Dependent Setup Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NaBIC ![In: World Congress on Nature & Biologically Inspired Computing, NaBIC 2009, 9-11 December 2009, Coimbatore, India, pp. 924-929, 2009, IEEE, 978-1-4244-5053-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Andrey Barabanov, Romeo Ortega, Gerardo Escobar |
On ultimate boundedness around non-assignable equilibria of linear time-invariant systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 44(1), pp. 286-288, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Shiwang Hou, Shurong Tong |
Fuzzy logic based assignable causes ranking system for control chart abnormity diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2008, IEEE International Conference on Fuzzy Systems, Hong Kong, China, 1-6 June, 2008, Proceedings, pp. 49-53, 2008, IEEE, 978-1-4244-1818-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Jatinder N. D. Gupta, Karin Krüger, Volker Lauff, Frank Werner 0001, Yuri N. Sotskov |
Heuristics for hybrid flow shops with controllable processing times and assignable due dates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Oper. Res. ![In: Comput. Oper. Res. 29(10), pp. 1417-1439, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Chung-Hsing Huang, Yi-Ni Lin |
Decision rule of assignable causes removal under an SPC-EPC integration system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 33(10), pp. 855-867, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Xiangtong Qi, Gang Yu, Jonathan F. Bard |
Single machine scheduling with assignable due dates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 122(1-3), pp. 211-233, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Ali Pinar, Bruce Hendrickson |
Exploiting flexibly assignable work to improve load balance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 2002, Winnipeg, Manitoba, Canada, August 11-13, 2002, pp. 155-163, 2002, ACM, 1-58113-529-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
algorithms, load balancing, parallel computing, least squares, maximum-flow |
27 | Nikolaos Kazantzis, Stevan Dubljevic |
Nonlinear discrete-time state feedback regulators with assignable closed-loop dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2001, Arlington, VA, USA, 25-27 June, 2001, pp. 3177-3182, 2001, IEEE, 0-7803-6495-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Joel K. Jolayemi |
An optimal design of multiattribute control charts for processes subject to a multiplicity of assignable causes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 114(2-3), pp. 187-203, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Matthew D. Russell, Howard Xu, Lingtao Wang |
Action Assignable Graphics: A Flexible Human-Computer Interface Design Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1992, Monterey, CA, USA, May 3-7, 1992, Proceedings, pp. 71-72, 1992, ACM, 0-89791-513-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Sailesh K. Rao, Chi-Tsong Chen |
Design of minimal-degree compensators with assignable poles or structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 23(2), pp. 241-245, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Dundar Dumlugol, Hugo De Man, Piet Stevens, Guido G. Schrooten |
Local Relaxation Algorithms for Event-Driven Simulation of MOS Networks Including Assignable Delay Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2(3), pp. 193-202, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
27 | Stephen A. Szygenda, Anthony A. Lekkos, John L. Fike |
Implemented techniques for handling spikes in an assignable delay simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 7th conference on Winter simulation, WSC 1974, Washington, DC, USA, January 14-16, 1974, pp. 721-722, 1974, ACM, 978-1-4503-7401-9. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
27 | Edward W. Thompson, Stephen A. Szygenda, N. Billawala, R. Pierce |
Timing analysis for digital fault simulation using assignable delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 11th Design Automation Workshop, DAC '74, Denver, Colorado, USA, June 11-19, 1974, pp. 266-272, 1974, ACM. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP BibTeX RDF |
|
19 | Martin Kuster |
Multichannel Room Impulse Response Generation With Coherence Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 17(4), pp. 597-606, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Pim van 't Hof, Daniël Paulusma, Johan M. M. van Rooij |
Computing Role Assignments of Chordal Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings, pp. 193-204, 2009, Springer, 978-3-642-03408-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Steffen van Bakel, Maria Grazia Vigliotti |
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 84-98, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Jun Xu 0002, Xuemin Shen, Jon W. Mark, Jun Cai 0001 |
Quasi-Optimal Channel Assignment for Real-Time Video in OFDM Wireless Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 7(4), pp. 1417-1427, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | A. Mani |
Esoteric Rough Set Theory: Algebraic Semantics of a Generalized VPRS and VPFRS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets VIII, pp. 175-223, 2008, Springer, 978-3-540-85063-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Esoteric Rough Set Theory, Variable Precision Rough Set Theory, Algebraic Semantics of Generalized Rough Set Theory, Irreflexive Rough Set Theory, VPRFS, GVPRFS, Rough Sets |
19 | Bikramjit Banerjee, Ahmed Abukmail, Landon Kraemer |
Advancing the Layered Approach to Agent-Based Crowd Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 22st International Workshop on Principles of Advanced and Distributed Simulation, PADS 2008, Roma, Italy, June 3-6, 2008, pp. 185-192, 2008, IEEE Computer Society, 978-0-7695-3159-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Martin Hofmann 0001, Mariela Pavlova |
Elimination of Ghost Variables in Program Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, pp. 1-20, 2007, Springer, 978-3-540-78662-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Paritosh Shroff, Christian Skalka, Scott F. Smith 0001 |
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 2-18, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
0CFA, program analysis, program verification, higher-order |
19 | Rosaria Lombardo, Amalia Vanacore, Jean-François Durand |
Non Parametric Control Chart by Multivariate Additive Partial Least Squares via Spline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GfKl ![In: Data Analysis, Machine Learning and Applications - Proceedings of the 31st Annual Conference of the Gesellschaft für Klassifikation e.V., Albert-Ludwigs-Universität Freiburg, March 7-9, 2007, pp. 201-208, 2007, Springer, 978-3-540-78239-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Ingmar Blau, Gerhard Wunder |
User Allocation in Multi-System, Multi-Service Scenarios: Upper and Lower Performance Bound of Polynomial Time Assignment Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISS ![In: Proceedings of the 41st Annual Conference on Information Sciences and Systems, CISS 2007, 14-16 March 2007, Johns Hopkins University, Department of Electrical Engineering, Baltimore, MD, USA, pp. 41-46, 2007, IEEE, 1-4244-1037-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Andrew Dalley, John Fulcher, David Bomba, Ken Lynch, Peter Feltham |
A technological model to define access to electronic clinical records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Technol. Biomed. ![In: IEEE Trans. Inf. Technol. Biomed. 9(2), pp. 289-290, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | John Shalf, Shoaib Kamil 0001, Leonid Oliker, David Skinner |
Analyzing Ultra-Scale Application Communication Requirements for a Reconfigurable Hybrid Interconnect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2005 Conference on High Performance Networking and Computing, November 12-18, 2005, Seattle, WA, USA, CD-Rom, pp. 17, 2005, IEEE Computer Society, 1-59593-061-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Yang Yang 0001, Tak-Shing Peter Yum |
Maximally flexible assignment of orthogonal variable spreading factor codes for multirate traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 3(3), pp. 781-792, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Ching-Fang Hsu 0002, Te-Lung Liu, Nen-Fu Huang |
Multicast traffic scheduling in single-hop WDM networks with arbitrary tuning latencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 52(10), pp. 1747-1757, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Emmanuelle Vivier, Michel Terré, Bernard Fino |
On the Complexity of Radio Resources Allocation in WCDMA Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWCN ![In: Mobile and Wireless Communication Networks, IFIP TC6 / WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004), October 25-27, 2004, Paris, France, pp. 179-190, 2004, Kluwer/Springer, 0-387-23148-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Jirí Fiala 0001, Daniël Paulusma |
The Computational Complexity of the Role Assignment Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 817-828, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
role assignment 2002 Mathematics Subject Classification: 05C15, computational complexity, 03D15, graph homomorphism |
19 | Emmanuel Letier, Axel van Lamsweerde |
Agent-based tactics for goal-oriented requirements elaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, pp. 83-93, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Harriet Black Nembhard, Leyuan Shi, Mehmet Aktan |
A real options design for quality control charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 597-603, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Philippe Chrétienne, Françoise Lamour |
Mapping Graphs onto a Partially Reconfigurable Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDMCC ![In: Distributed Memory Computing, 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991, Proceedings, pp. 73-79, 1991, Springer, 3-540-53951-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|